perm filename STOVE.STP[DAT,BGB] blob
sn#133443 filedate 1974-12-03 generic text, type T, neo UTF8
K∧αvαzββ↓βαβαα|α|βαββββλβ βεβααuαJα4α8α8α8α0α α(α$↓p↓$P_⊂⊂⊂⊂⊗⊗⊗⊗⊂⊂λε`Wl@3↔l@#⊃)@#`Q)@#`Wl@#sp%3s~#s8#3s@##rp≤@3rx≤#s`&3sP$#sH#@3sλ≥@#s8$3sH#@#sp%3sp%@#rp~3s~#s≠3s~#rp≠3rp~#rp≥3rp≤@#s8$3s8##sP$3s@$@#s@$@3s8$#sλ≥@3rx≥@#rx≥@3rp≥#rp≥3s≥#s≥3rp≠#rp≠3s≠#sp%@3s≠#sp%@3s`&#s(⊗@3s(≡@#t-@3sx-@#sH!3r`↔@#s(⊗@3r`∂#r ↓3r(~#s@⊗3sH!#r(~3r(~#rX @3r`↔@#r ↓3r ↓#sp⊗@3t-@#r(~3t-@#rX @3s@⊗#s@⊗3s(⊗@#r ↓3sp⊗@#nX>3n ;#n ;3n 8@#n ;3n0;#n 8@3n08#n`>3nX>#n`;3n`>#n083n`;#n0;3n08#n`>3n0;#sp/3sh/#sh/3sh.#sh.3sh-@#sh-@3sh-#sh-3sh-@#sh-@3sp.@#sp.@3sp/#sp/3sp/#sH,3sH+@#sH+@3s@+#s@+3s@*#s@*3s@*#s@*3sH*#sH*3sH+#sH+3sH+@#sH+@3sH,#rx%3rx%#rx%3rp$#rp$3rp##rp#3rx##rx#3rx#@#rx#@3s$#s$3s%#s%3rx%#rP!@3rP!#rP!3rH #rH 3rH∨@#rH∨@3rP∨#rP∨3rP∨@#rP∨@3rX @#rX @3rX!#rX!3rP!@#s0(3s('#s0&@3s8'@#s0&@3s0&@#s(&@3s0&@#s &3s0&@#s('3s(&@#s_&@3s(&@#s_'@3s('#s0(@3s0(#s (@3s0(#s8(3s0(@#s0(@3s()#s8'@3s8(#s()3s (@#s (@3s_'@#s_'@3s_&@#s_&@3s &#s 3s0λ@#rpβ3rxβ#s@ 3s8 @#s0 3s∧#s @3s0 #s↓3sP
#sP
3sP
@#rp↓@3s↓#s↓@3s↓#rpα3rp↓@#rpβ@3rpβ#s @3s #s8 @3s( @#s( @3s @#s∧3rp∧#rp∧3rpβ@#rpβ@3sβ@#sβ@3rpα#rpα3s↓@#sP
@3s↓@#sP
@3s@ #r'⎇@3r'⎇@#sh∪@3sh∪@#r∨q3s`λ#r'⎇@3r∨q#r∨q3r∨q#s`λ3sh∪@#sh∪@3r'⎇@#p+@3o@.#p+@3oP(@#n`(3oP(@#n(+3n`(#nP.3n(+#o@.3nP.#n(*@3n`(#n`(3oP(#oP(3p+@#s_23rP4@#s_23rx/#r⊂/3rx/#qH13r⊂/#qp43qH1#rP4@3qp4#qH13r⊂.@#r⊂.@3rx/#rx/3s_1@#px53p@7#px53pX2@#ox2@3pX2@#o@4@3ox2@#oh6@3o@4@#p@73oh6@#o@43ox2#ox23pX2#pX23px4@#r⊂(3qP*@#r⊂(3qp%#qλ$@3qp%#pH'3qλ$@#pp*3pH'#qP*@3pp*#pH'3qλ$#qλ$3qp$@#qp$@3r⊂'@#r'⎇@3r∨q#s`λ3s`λ#sp⊗@3sp⊗@#r(~3r @#s(↔@3rp_@#r @3sp⊗@#r ≡@3r↔n#t-@3sp⊗@#r(~3t-@#r∨q3s`λ#tλ3@3r ≡@#r'⎇@3sh∀#l@(@3r ≡@#nxC3l81@#nx:@3nxC#k`2@3l81@#n(D3k`2@#k`2@3kh)@#nxC3n(D#l81@3l@(@#l@(@3nx:@#tλ3@3nx:@#sh∀3s`λ#kh)@3l∨{#l∨{3r↔n#shπ3tλ3@#r↔n3shπ#␈wl@3∨7l@#∨1)@#␈q)@#␈wl@#∪_#3∪ ##∩P≤@3∩X≤#∩`~3∪H%#∪8&3∪($#∪(#@3∩h≥@#∪_$3∪(#@#∪H%3∪H%@#∩P~3∩`~#∩`≠3∩`~#∩P≠3∩P~#∩P≥3∩P≤@#∪_$3∪_##∪($3∪ $@#∪ $@3∪_$#∩h≥@3∩X≥@#∩X≥@3∩P≥#∩P≥3∩`≥#∩`≥3∩P≠#∩P≠3∩`≠#∪H%@3∩`≠#∪H%@3∪8&#∪X-@3∪X-@#∪⊗@3∪λ≡#∩@↔@3∩X~#∪_⊗3∪ !#∪⊗@3∩8∂#∩λ~3∩⊂~#∩↓3∩↓#∩↓3∩⊂~#∩8 @3∩@↔@#∪H⊗@3∪X-@#∩⊂~3∪X-@#∩8 @3∪_⊗#∪_⊗3∪⊗@#∩↓3∪H⊗@#∞0>3
x;#
x;3
x8@#
x;3∞λ;#
x8@3∞λ8#∞8>3∞0>#∞8;3∞8>#∞λ83∞8;#∞λ;3∞λ8#∞8>3∞λ;#∪H/3∪H/#∪H/3∪@.#∪@.3∪@-@#∪@-@3∪@-#∪@-3∪H-@#∪H-@3∪H.@#∪H.@3∪H/#∪H/3∪H/#∪(,3∪ +@#∪ +@3∪ +#∪ +3∪ *#∪ *3∪ *#∪ *3∪ *#∪ *3∪(+#∪(+3∪(+@#∪(+@3∪(,#∩X%3∩X%#∩X%3∩P$#∩P$3∩P##∩P#3∩X##∩X#3∩X#@#∩X#@3∩`$#∩`$3∩`%#∩`%3∩X%#∩0!@3∩0!#∩0!3∩( #∩( 3∩(∨@#∩(∨@3∩0∨#∩0∨3∩0∨@#∩0∨@3∩8 @#∩8 @3∩8!#∩8!3∩0!@#∪λ(3∪λ'#∪⊂&@3∪⊂'@#∪λ&@3∪⊂&@#∪λ&@3∪λ&@#∩x&3∪λ&@#∪λ'3∪λ&@#∩x&@3∪λ&@#∩x'@3∪λ'#∪⊂(@3∪λ(#∪(@3∪λ(#∪⊂(3∪⊂(@#∪⊂(@3∪)#∪⊂'@3∪⊂(#∪)3∪(@#∪(@3∩x'@#∩x'@3∩x&@#∩x&@3∩x&#∪ 3∪λλ@#∩Hβ3∩Xβ#∪_ 3∪⊂ @#∪λ 3∩`∧#∪ @3∪λ #∩X↓3∪(
#∪(
3∪(
@#∩H↓@3∩X↓#∩X↓@3∩X↓#∩Hα3∩H↓@#∩Hβ@3∩Hβ#∪ @3∪ #∪⊂ @3∪ @#∪ @3∪ @#∩`∧3∩P∧#∩P∧3∩Hβ@#∩Hβ@3∩Xβ@#∩Xβ@3∩Hα#∩Hα3∩X↓@#∪(
@3∩X↓@#∪(
@3∪_ #∩π⎇@3∩π⎇@#∪@∪@3∪@∪@#⊃␈q3⊃␈q#⊃␈q3∪8λ#∩π⎇@3⊃␈q#∪8λ3∪@∪@#∪@∪@3∩π⎇@#∂`+@3∂_.#∂`+@3∂0(@#∞@(3∂0(@#∞+3∞@(#∞0.3∞+#∂_.3∞0.#∞*@3∞@(#∞@(3∂0(#∂0(3∂`+@#∩p23∩04@#∩p23∩P/#⊃h/3∩P/#⊃(13⊃h/#⊃H43⊃(1#∩04@3⊃H4#⊃(13⊃h.@#⊃h.@3∩P/#∩P/3∩p1@#⊂P53⊂_7#⊂P53⊂02@#∂P2@3⊂02@#∂_4@3∂P2@#∂@6@3∂_4@#⊂_73∂@6@#∂_43∂P2#∂P23⊂02#⊂023⊂P4@#⊃p(3⊃0*@#⊃p(3⊃P%#⊂h$@3⊃P%#⊂('3⊂h$@#⊂P*3⊂('#⊃0*@3⊂P*#⊂('3⊂h$#⊂h$3⊃P$@#⊃P$@3⊃p'@#∩π⎇@3⊃␈q#∪8λ3∪8λ#∪H⊗@3∪H⊗@#∩λ~3∩@#∪↔@3∩H_@#∩@3∪H⊗@#∩≡@3⊃on#∪X-@3∪H⊗@#∩λ~3∪X-@#⊃␈q3∪8λ#∪h3@3∩≡@#∩π⎇@3∪@∀# (@3∩≡@#∞PC3 _1@#∞P:@3∞PC# @2@3 _1@#∞D3 @2@# @2@3 H)@#∞PC3∞D# _1@3 (@# (@3∞P:@#∪h3@3∞P:@#∪@∀3∪8λ# H)@3 w{# w{3⊃on#∪@π3∪h3@#⊃on3∪@π#`Wl@3↔l@#⊃)@#`Q)@#`Wl@#tλ*3s∨@#sP(@3sX(@#rx"3s"#sx+3s`)@#s`)3s⊂##sP)@3s`)#tλ*3tλ+#rp 3s∨@#s @3s∨@#rx!3rp #s#3rx"#sP)@3sP(@#s`)@3sX*#sX*3sP)@#s⊂#3s#@#s#@3s##s#3sλ"@#sλ"@3rx!#rx!3s @#tλ+3s @#tλ+3sx+#s0≠@3s8$#r( 3r⊂ #t 2@3tλ2@#t 2@3sx≠@#sX&@3rh≥#s0≠@3rX∀@#rλε@3rλε@#rλε@3r( #sH≠@3sX&@#rP⊃3rh≥#r( 3t 2@#rP⊃3sH≠@#sH≠@3s0≠@#rλε@3sx≠@#nhD@3n(A@#n(A@3n0?#n(A@3n8A@#n0?3n8?#npD3nhD@#npA@3npD#n8?3npA@#n8A@3n8?#npD3n8A@#sx53sp4@#sp4@3sp4#sp43sp3#sp33sp3#sp33sx3#sx33sx4#sx43sx4@#sx4@3sx5#sP23sH1@#sH1@3s@0@#s@0@3s@0#s@03sH0#sH03sH0#sH03sP1#sP13sP1@#sP1@3sP2#rp+@3rp+#rp+3rh*#rh*3rh)@#rh)@3rp)#rp)3rp)@#rp)@3rx*@#rx*@3rx+#rx+3rp+@#r@(3r@'@#r@'@3r8&@#r8&@3r8&#r8&3r@%@#r@%@3r@&#r@&3rH'#rH'3rH'@#rH'@3r@(#s(.3s(-@#s0,@3s0-@#s(,@3s0,@#s(,@3s(,@#s_,3s(,@#s(-@3s(,@#s_,@3s(,@#s_-@3s(-@#s0.@3s(.#s .@3s(.#s0.3s0.@#s0.@3s /#s0-@3s0.#s /3s .@#s .@3s_-@#s_-@3s_,@#s_,@3s_,#s ∞3s0∞#rhλ@3rpλ@#sH⊂3s8∞@#s0∞@3rx #s ∞@3s0∞@#rpε@3sP∂@#sP∂@3sP⊂#r`ε@3rpε@#rpπ3rpε@#rhπ@3r`ε@#rh 3rhλ@#s ∞@3s ∞#s8∞@3s(∂#s(∂3s ∞@#rx 3rh @#rh @3rh #rh 3rx #rx 3rhπ@#rhπ@3rpπ#sP⊂3rpπ#sP⊂3sH⊂#rλβ@3rλβ@#sx_@3sx_@#rπv@3r∂v@#r∂v@3sp @#rλβ@3r∂v@#sp @3sx_@#sx_@3rλβ@#ox2@3o85#ox2@3oH/@#nX/3oH/@#n_23nX/#nP4@3n_2#o853nP4@#n_1@3nX/#nX/3oH/#oH/3ox2#s 83r`:#s 83rx5#r⊂53rx5#qP7@3r⊂5#qx:3qP7@#r`:3qx:#qP73r⊂4@#r⊂4@3rx5#rx53s 7@#q;3pP=#q;3pX9#p8@3pX9#oH;3p8@#op=3oH;#pP=3op=#oH:@3p8@#p8@3pX8@#pX8@3q;#rλ.@3qH1#rλ.@3q`+@#px+@3q`+@#p8.3px+@#ph0@3p8.#qH13ph0@#p8-@3px+#px+3q`+#q`+3rλ.#sp @3sp @#rλβ3rπv@#sx≠@3sx≠@#s0≥3rp≡#sx @3tλ&#t⊂33tλ2@#rλε@3r⊂ @#rλε@3sx≠@#rλ%@3q␈s@#sx≤@3sx≠@#r⊂ @3t⊂3#rπv@3sp @#t_93rλ%@#rλβ3sx→#l0/@3rλ%@#oλI@3l(9#oλA3oλI@#kX:3l(9#n@J3kX:#kX:3k`1#oλI@3n@J#l(93l0/@#l0/@3oλA#t_93oλA#sx→3sp @#k`13l⊂↓@#l⊂↓@3q␈s@#t_2@3t_9#q␈s@3sx @#␈wl@3∨7l@#∨1)@#␈q)@#␈wl@#∪`*3∩`∨@#∪((@3∪0(@#∩X"3∩`"#∪X+3∪@)@#∪8)3∩p##∪0)@3∪8)#∪`*3∪`+#∩P 3∩`∨@#∩` @3∩`∨@#∩X!3∩P #∩`#3∩X"#∪0)@3∪((@#∪@)@3∪0*#∪0*3∪0)@#∩p#3∩`#@#∩`#@3∩`##∩`#3∩h"@#∩h"@3∩X!#∩X!3∩` @#∪`+3∩` @#∪`+3∪X+#∪λ≠@3∪_$#∩⊂ 3⊃x #∪`2@3∪x2@#∪8&@3∩@≥#∪λ≠@3∩8∀@#⊃hε@3⊃hε@#∪P≠@3∪x2@#⊃hε@3∩⊂ #∪(≠@3∪8&@#∩0⊃3∩@≥#∩⊂ 3∪x2@#∩0⊃3∪(≠@#∪(≠@3∪λ≠@#⊃hε@3∪P≠@#∞@D@3∞λA@#∞λA@3∞λ?#∞λA@3∞⊂A@#∞λ?3∞⊂?#∞HD3∞@D@#∞HA@3∞HD#∞⊂?3∞HA@#∞⊂A@3∞⊂?#∞HD3∞⊂A@#∪P53∪P4@#∪P4@3∪H4#∪H43∪H3#∪H33∪P3#∪P33∪P3#∪P33∪X4#∪X43∪X4@#∪X4@3∪P5#∪(23∪(1@#∪(1@3∪ 0@#∪ 0@3∪ 0#∪ 03∪(0#∪(03∪(0#∪(03∪01#∪013∪01@#∪01@3∪(2#∩P+@3∩P+#∩P+3∩H*#∩H*3∩H)@#∩H)@3∩P)#∩P)3∩P)@#∩P)@3∩X*@#∩X*@3∩X+#∩X+3∩P+@#∩ (3∩ '@#∩ '@3∩_&@#∩_&@3∩_&#∩_&3∩ %@#∩ %@3∩ &#∩ &3∩('#∩('3∩('@#∩('@3∩ (#∪λ.3∪λ-@#∪⊂,@3∪⊂-@#∪λ,@3∪⊂,@#∪λ,@3∪λ,@#∩x,3∪λ,@#∪λ-@3∪λ,@#∩x,@3∪λ,@#∩x-@3∪λ-@#∪⊂.@3∪λ.#∩x.@3∪λ.#∪⊂.3∪⊂.@#∪⊂.@3∪/#∪⊂-@3∪⊂.#∪/3∩x.@#∩x.@3∩x-@#∩x-@3∩x,@#∩x,@3∩x,#∪∞3∪λ∞#∩@λ@3∩Pλ@#∪ ⊂3∪⊂∞@#∪⊂∞@3∩X #∪∞@3∪⊂∞@#∩Pε@3∪0∂@#∪0∂@3∪0⊂#∩@ε@3∩Pε@#∩Pπ3∩Pε@#∩@π@3∩@ε@#∩@ 3∩@λ@#∪∞@3∪∞#∪⊂∞@3∪∂#∪∂3∪∞@#∩X 3∩H @#∩H @3∩@ #∩@ 3∩P #∩P 3∩@π@#∩@π@3∩Pπ#∪0⊂3∩Pπ#∪0⊂3∪ ⊂#⊃hβ@3⊃hβ@#∪P_@3∪P_@#⊃gv@3⊃gv@#⊃gv@3∪H @#⊃hβ@3⊃gv@#∪H @3∪P_@#∪P_@3⊃hβ@#∂X2@3∂_5#∂X2@3∂(/@#∞8/3∂(/@#
x23∞8/#∞(4@3
x2#∂_53∞(4@#
x1@3∞8/#∞8/3∂(/#∂(/3∂X2#∪83∩8:#∪83∩X5#⊃p53∩X5#⊃(7@3⊃p5#⊃P:3⊃(7@#∩8:3⊃P:#⊃(73⊃p4@#⊃p4@3∩X5#∩X53∪7@#⊂`;3⊂(=#⊂`;3⊂89#∂X8@3⊂89#∂ ;3∂X8@#∂H=3∂ ;#⊂(=3∂H=#∂ :@3∂X8@#∂X8@3⊂88@#⊂88@3⊂`;#⊃h.@3⊃(1#⊃h.@3⊃@+@#⊂X+@3⊃@+@#⊂_.3⊂X+@#⊂H0@3⊂_.#⊃(13⊂H0@#⊂_-@3⊂X+#⊂X+3⊃@+#⊃@+3⊃h.#∪H @3∪H @#⊃hβ3⊃gv@#∪P≠@3∪P≠@#∪λ≥3∩H≥@#∪h33∪h2@#∪P @3∪h%@#∪p2@3∪x9#∪P≤@3∪P≠@#⊃hε@3⊃x @#⊃hε@3∪P≠@#⊃p%@3⊃←s@#⊃x @3∪h3#⊃gv@3∪H @#∪x93⊃p%@#⊃hβ3∪P→# ⊂/@3⊃p%@#∞`I@3 λ9#∞`A3∞`I@# 8:3 λ9#∞_J3 8:# 8:3 @1#∞`I@3∞_J# λ93 ⊂/@# ⊂/@3∞`A#∪x93∞`A#∪P→3∪H @# @13 h↓@# h↓@3⊃←s@#⊃←s@3∪P @#`Wl@3↔l@#⊃)@#`Q)@#`Wl@#t(.@3s⊂$@#sp-@3sx-#s⊂'3s⊂&@#t 03tλ.#t.3s((#sp.3t.#t(.@3t(/@#s$@3s⊂$@#s⊂%@3s⊂$@#s%@3s$@#s⊂'@3s⊂'#sp.3sp-@#tλ.3sx.@#sx.@3sp.#s((3s_(#s_(3s⊂'@#s⊂'@3s '@#s '@3s%@#s%@3s⊂%@#t(/@3s⊂%@#t(/@3t 0#s@ 3sX(@#r≠@3r⊂%#r⊂%3t07@#sx+3rp!@#s@ 3rX_@#qx 3qx #t⊂∨@3tP7@#r0%3r⊂%#qx 3r0%#s`∨@3sx+#rP∃@3rp!@#r0%3tP7@#rP∃@3s`∨@#s`∨@3s@ #qx 3t⊂∨@#tP7@3t07@#npK3n0H@#n0H@3n0E@#n0H@3n@H#n0E@3n@E@#oK3npK#oH3oK#n@E@3oH#n@H3n@E@#oK3n@H#tλ:@3tλ:#tλ:3t9@#t9@3t8@#t8@3tλ8@#tλ8@3tλ8@#tλ8@3t⊂9@#t⊂9@3t⊂:#t⊂:3tλ:@#sX7@3sX7#sX73sP6#sP63sP5@#sP5@3sX5#sX53sX5@#sX5@3s`6@#s`6@3s`7#s`73sX7@#rp13rh0@#rh0@3rh/@#rh/@3rh/#rh/3rh.@#rh.@3rp/#rp/3rx0#rx03rx0@#rx0@3rp1#r8-@3r0-@#r0-@3r0,#r0,3r0+@#r0+@3r0+#r0+3r8+@#r8+@3r@,@#r@,@3r@-#r@-3r8-@#s043s(3#s823s83#s023s82#s(23s02#s 1@3s02#s(33s(2#s_23s(2#s_33s(3#s843s04#s 4@3s04#s843s84#s843s(4@#s833s84#s(4@3s 4@#s 4@3s_3#s_33s_2#s_23s 1@#s0∩3s8⊃@#rh @3rp #sP∀3s@∩@#s8∩3rx
#s0∩@3s8∩#rp
@3s`∪#s`∪3s`∪@#r`
@3rp
@#rp 3rp
@#r` 3r`
@#rh
3rh @#s0∩@3s0∩#s@∩@3s0∩@#s0∩@3s0∩@#rx
3rh
@#rh
@3rh
#rh
3rx @#rx @3r` #r` 3rp #s`∪@3rp #s`∪@3sP∀#qxπ@3qxπ@#t⊂≤@3t⊂≤@#qwz3q␈z#q␈z3tλ⊂#qxπ@3q␈z#tλ⊂3t⊂≤@#t⊂≤@3qxπ@#op8@3o8;#op8@3o86#n@63o86#nλ8@3n@6#nH;3nλ8@#o8;3nH;#nλ83n@5@#n@5@3o85@#o85@3op8#s8=@3rx@#s8=@3sλ;#r_;3sλ;#qX=@3r_;#rλ@3qX=@#rx@3rλ@#qX=3r_:@#r_:@3sλ:@#sλ:@3s8=#q⊂A3pXC#q⊂A3p`?#p?3p`?#oPA3p?#oxC3oPA#pXC3oxC#oP@@3p>@#p>@3p`>@#p`>@3q⊂A#r4@3qH7#r4@3qP1@#ph1@3qP1@#p043ph1@#p`6@3p04#qH73p`6@#p03@3ph1#ph13qP1#qP13r4#tλ⊂3tλ⊂#qxπ@3qwy@#t⊂ 3t⊂ #s@!3rx"@#t(8@3t(6@#t⊂∂3t &#r⊂$3r$#t⊂ 3t⊂ #t07@3t8>@#qx
@3r&#qx
@3t⊂ #qx+3qov@#r&3t(8@#qwy@3tλ⊂#t8>@3qx+#qxπ@3t⊂≤@#l_6@3qx+#o_P3l⊂@@#o_G3o_P#k@A@3l⊂@@#nPQ3k@A@#k@A@3kH8#o_P3nPQ#l⊂@@3l_6@#l_6@3o_G#t8>@3o_G#t⊂≤@3tλ⊂#kH83kxε@#kxε@3qov@#qov@3t⊂∂#␈wl@3∨7l@#∨1)@#␈q)@#␈wl@#∀λ.@3∩p$@#∪P-@3∪X-#∩p'3∩x&@#∀03∪h.#∪`.3∪λ(#∪P.3∪`.#∀λ.@3∀λ/@#∩h$@3∩p$@#∩x%@3∩p$@#∩h%@3∩h$@#∩p'@3∩p'#∪P.3∪P-@#∪h.3∪X.@#∪X.@3∪P.#∪λ(3∩x(#∩x(3∩p'@#∩p'@3∪'@#∪'@3∩h%@#∩h%@3∩x%@#∀λ/@3∩x%@#∀λ/@3∀0#∪ 3∪8(@#⊃`≤3⊃x%#⊃x%3∀⊂7@#∪X+3∩P!@#∪ 3∩8→#⊃X 3⊃` #∪p∨@3∀07@#∩_%3⊃x%#⊃` 3∩_%#∪8∨@3∪X+#∩0∃@3∩P!@#∩_%3∀07@#∩0∃@3∪8∨@#∪8∨@3∪ #⊃` 3∪p∨@#∀07@3∀⊂7@#∞HK3∞λH@#∞λH@3∞⊂E@#∞λH@3∞_H#∞⊂E@3∞_E@#∞XK3∞HK#∞XH3∞XK#∞_E@3∞XH#∞_H3∞_E@#∞XK3∞_H#∪h:@3∪h:#∪h:3∪`9@#∪`9@3∪`8@#∪`8@3∪h8@#∪h8@3∪h8@#∪h8@3∪p9@#∪p9@3∪p:#∪p:3∪h:@#∪87@3∪87#∪873∪06#∪063∪05@#∪05@3∪85#∪853∪85@#∪85@3∪@6@#∪@6@3∪@7#∪@73∪87@#∩X13∩P0@#∩P0@3∩H/@#∩H/@3∩H/#∩H/3∩P.@#∩P.@3∩P/#∩P/3∩X0#∩X03∩X0@#∩X0@3∩X1#∩ -@3∩_-@#∩_-@3∩⊂,#∩⊂,3∩⊂+@#∩⊂+@3∩_+#∩_+3∩_+@#∩_+@3∩ ,@#∩ ,@3∩ -#∩ -3∩ -@#∪⊂43∪⊂3#∪_23∪_3#∪⊂23∪_2#∪⊂23∪⊂2#∪1@3∪⊂2#∪⊂33∪⊂2#∪23∪⊂2#∪33∪⊂3#∪_43∪⊂4#∪4@3∪⊂4#∪_43∪_4#∪_43∪λ4@#∪_33∪_4#∪λ4@3∪4@#∪4@3∪3#∪33∪2#∪23∪1@#∪λ∩3∪⊂⊃@#∩H @3∩P #∪0∀3∪ ∩@#∪_∩3∩X
#∪λ∩@3∪_∩#∩P
@3∪@∪#∪@∪3∪@∪@#∩@
@3∩P
@#∩P 3∩P
@#∩@ 3∩@
@#∩H
3∩H @#∪λ∩@3∪λ∩#∪ ∩@3∪⊂∩@#∪⊂∩@3∪λ∩@#∩X
3∩H
@#∩H
@3∩H
#∩H
3∩P @#∩P @3∩@ #∩@ 3∩P #∪@∪@3∩P #∪@∪@3∪0∀#⊃Xπ@3⊃Xπ@#∪h≤@3∪h≤@#⊃Wz3⊃←z#⊃←z3∪`⊂#⊃Xπ@3⊃←z#∪`⊂3∪h≤@#∪h≤@3⊃Xπ@#∂P8@3∂_;#∂P8@3∂_6#∞ 63∂_6#
h8@3∞ 6#∞ ;3
h8@#∂_;3∞ ;#
h83∞ 5@#∞ 5@3∂_5@#∂_5@3∂P8#∪⊂=@3∩P@#∪⊂=@3∩h;#⊃x;3∩h;#⊃8=@3⊃x;#⊃h@3⊃8=@#∩P@3⊃h@#⊃8=3⊃x:@#⊃x:@3∩h:@#∩h:@3∪⊂=#⊂hA3⊂8C#⊂hA3⊂@?#∂`?3⊂@?#∂(A3∂`?#∂XC3∂(A#⊂8C3∂XC#∂(@@3∂`>@#∂`>@3⊂@>@#⊂@>@3⊂hA#⊃h4@3⊃(7#⊃h4@3⊃81@#⊂H1@3⊃81@#⊂⊂43⊂H1@#⊂@6@3⊂⊂4#⊃(73⊂@6@#⊂⊂3@3⊂H1#⊂H13⊃81#⊃813⊃h4#∪`⊂3∪`⊂#⊃Xπ@3⊃Wy@#∪p 3∪p #∪ !3∩X"#∀8@3∀6@#∪h∂3∀%@#⊃x$3⊃h$#∪p 3∪p #∀⊂7@3∀⊂>@#⊃X
@3⊃h&#⊃X
@3∪p #⊃`+3⊃Ov@#⊃h&3∀8@#⊃Wy@3∪`⊂#∀⊂>@3⊃`+#⊃Xπ@3∪h≤@# x6@3⊃`+#∞pP3 p@@#∞xG3∞pP# A@3 p@@#∞(Q3 A@# A@3 (8#∞pP3∞(Q# p@@3 x6@# x6@3∞xG#∀⊂>@3∞xG#∪h≤@3∪`⊂# (83 Pε@# Pε@3⊃Ov@#⊃Ov@3∪h∂#`Wl@3↔l@#⊃)@#`Q)@#`Wl@#tH,@3s_"#tλ+@3t⊂+#s_$@3s $@#t@.3t ,#t_,3s0%@#tλ,3t_,#tH,@3tH-@#sλ"@3s_"#s_#3s_"#s⊂#@3sλ"@#s %@3s_$@#tλ,3tλ+@#t ,3t⊂,@#t⊂,@3tλ,#s0%@3s(&#s(&3s %@#s %@3s(%#s(%3s⊂#@#s⊂#@3s_##tH-@3s_##tH-@3t@.#sP≡3sp'#qh∀3r_##tx5@3t(≥@#t_)3rx∨@#sP≡3rX⊗@#q`λ@3qhλ@#t`5@3r_##r8#3r_##qhλ@3r8##sp≥@3t_)#rP∪3rx∨@#r8#3tx5@#rP∪3sp≥@#sp≥@3sP≡#qhλ@3t(≥@#tx5@3t`5@#oK3n8H@#n8H@3n8E@#n8H@3n@H@#n8E@3nHE@#oλK3oK#oλH3oλK#nHE@3oλH#n@H@3nHE@#oλK3n@H@#t 9@3t_9#t_93t⊂8#t⊂83t⊂7@#t⊂7@3t_7#t_73t_7@#t_7@3t 8@#t 8@3t 9#t 93t 9@#sh6@3s`6#s`63sX5#sX53sX4@#sX4@3s`4#s`43s`4@#s`4@3sh5#sh53sh6#sh63sh6@#rh03rh/@#rh/@3r`.@#r`.@3r`-@#r`-@3r`-@#r`-@3rh-@#rh-@3rp.@#rp.@3rp/@#rp/@3rh0#r(,3r ,#r ,3r +#r +3r *#r *3r *#r *3r(*#r(*3r0+#r0+3r0,#r0,3r(,#s02@3s01@#s813s@2#s00@3s81#s013s00@#s 0@3s00@#s01@3s01#s_13s01#s_1@3s01@#s833s02@#s 33s02@#s@2@3s83#s833s(3@#s@23s@2@#s(3@3s 3#s 33s_1@#s_1@3s_1#s_13s 0@#s0∂@3s8∂@#r`
3rh
#sX⊃@3sH⊂#s@⊂3rx
@#s0⊂3s@⊂#rhλ3sh⊂@#sh⊂@3sh⊃@#rXλ3rhλ#rhλ@3rhλ#rXλ@3rXλ#r`
@3r`
#s0⊂3s0∂@#sH⊂3s8⊂@#s8⊂@3s0⊂#rx
@3rh #rh 3r`
@#r`
@3rp
#rp
3rXλ@#rXλ@3rhλ@#sh⊃@3rhλ@#sh⊃@3sX⊃@#qh¬3qh¬#t ~@3t ~@#qgw3qgw#qgw3t_
@#qh¬3qgw#t_
@3t ~@#t ~@3qh¬#oh83o0;#oh83o(5@#n05@3o(5@#mx8@3n05@#n@;3mx8@#o0;3n@;#mx83n05#n053o(5#o(53oh7@#s@<@3sλ?#s@<@3s⊂:#r_:3s⊂:#q`<@3r_:#r_?3q`<@#sλ?3r_?#q`<@3r_9@#r_9@3s⊂9@#s⊂9@3s@<#q_A3phC#q_A3ph>@#p>@3ph>@#oPA3p>@#pλC3oPA#phC3pλC#oP@@3p>#p>3ph>#ph>3q_@@#qx3@3q@6#qx3@3qH0@#pP0@3qH0@#p 3@3pP0@#pX63p 3@#q@63pX6#p 33pP0#pP03qH0#qH03qx3#t_
@3t_
@#q`¬3qgw#t(≡3t(≡#sP∨@3sλ @#t @3t8"@#t873t83@#r⊂#3qh#@#t(≡3t(≡#tH4@3tP=@#q`λ@3qp$@#q`λ@3t(≡#q`*3qWs@#qp$@3t87#qgw3t_
@#tP=@3q`*#q`¬3t(~@#l6@3q`*#o0P3kxA#o0G3o0P#k(B3kxA#n`Q3k(B#k(B3k08#o0P3n`Q#kxA3l6@#l6@3o0G#tP=@3o0G#t(~@3t_
@#k083k`¬@#k`¬@3qWs@#qWs@3t @#␈wl@3∨7l@#∨1)@#␈q)@#␈wl@#∀(,@3∪"#∪h+@3∪p+#∪$@3∪λ$@#∀ .3∀,#∀,3∪_%@#∪p,3∀,#∀(,@3∀0-@#∩p"@3∪"#∪#3∪"#∩p#@3∩p"@#∪%@3∪$@#∪p,3∪h+@#∀,3∪x,@#∪x,@3∪p,#∪_%@3∪λ&#∪λ&3∪%@#∪%@3∪⊂%#∪⊂%3∩p#@#∩p#@3∪##∀0-@3∪##∀0-@3∀ .#∪0≡3∪P&@#⊃P∀3∩##∩#3∀@5@#∪x)3∩X∨@#∪0≡3∩@⊗@#⊃Hλ@3⊃Hλ@#∀≥@3∀X5@#∩ #3∩##⊃Hλ@3∩ ##∪H≥@3∪x)#∩0∪3∩X∨@#∩ #3∀X5@#∩0∪3∪H≥@#∪H≥@3∪0≡#⊃Hλ@3∀≥@#∀X5@3∀@5@#∞XK3∞_H@#∞_H@3∞_E@#∞_H@3∞ H@#∞_E@3∞ E@#∞hK3∞XK#∞hH3∞hK#∞ E@3∞hH#∞ H@3∞ E@#∞hK3∞ H@#∀9@3∪x9#∪x93∪p8#∪p83∪p7@#∪p7@3∪x7#∪x73∪x7@#∪x7@3∀8@#∀8@3∀9#∀93∀9@#∪H6@3∪@6#∪@63∪85#∪853∪84@#∪84@3∪@4#∪@43∪H4@#∪H4@3∪H5#∪H53∪H6#∪H63∪H6@#∩P03∩H/@#∩H/@3∩H.@#∩H.@3∩@-@#∩@-@3∩H-@#∩H-@3∩P-@#∩P-@3∩X.@#∩X.@3∩X/@#∩X/@3∩P0#∩⊂,3∩λ,#∩λ,3∩λ+#∩λ+3∩*#∩*3∩λ*#∩λ*3∩⊂*#∩⊂*3∩_+#∩_+3∩_,#∩_,3∩⊂,#∪_2@3∪⊂1@#∪_13∪ 2#∪_0@3∪_1#∪⊂13∪_0@#∪λ0@3∪_0@#∪⊂1@3∪⊂1#∪13∪⊂1#∪1@3∪⊂1@#∪ 33∪_2@#∪λ33∪_2@#∪ 2@3∪ 3#∪ 33∪⊂3@#∪ 23∪ 2@#∪⊂3@3∪λ3#∪λ33∪1@#∪1@3∪1#∪13∪λ0@#∪⊂∂@3∪_∂@#∩@
3∩H @#∪8⊃@3∪(⊂#∪ ⊂3∩X
@#∪⊂⊂3∪ ⊂#∩Hλ3∪H⊂@#∪H⊂@3∪H⊃@#∩8λ3∩Hλ#∩Hλ@3∩Hλ#∩8λ@3∩8λ#∩@
@3∩@
#∪⊂⊂3∪⊂∂@#∪(⊂3∪_⊂@#∪_⊂@3∪⊂⊂#∩X
@3∩H #∩H 3∩@
@#∩@
@3∩P
#∩P
3∩8λ@#∩8λ@3∩Hλ@#∪H⊃@3∩Hλ@#∪H⊃@3∪8⊃@#⊃H¬3⊃H¬#∀~@3∀~@#⊃Gw3⊃Gw#⊃Gw3∪p
@#⊃H¬3⊃Gw#∪p
@3∀~@#∀~@3⊃H¬#∂H83∂⊂;#∂H83∂λ5@#∞⊂5@3∂λ5@#
`8@3∞⊂5@#∞ ;3
`8@#∂⊂;3∞ ;#
`83∞⊂5#∞⊂53∂λ5#∂λ53∂H7@#∪(<@3∩h?#∪(<@3∩p:#∩:3∩p:#⊃@<@3∩:#⊃x?3⊃@<@#∩h?3⊃x?#⊃@<@3∩9@#∩9@3∩p9@#∩p9@3∪(<#⊂xA3⊂HC#⊂xA3⊂H>@#∂`>@3⊂H>@#∂0A3∂`>@#∂hC3∂0A#⊂HC3∂hC#∂0@@3∂`>#∂`>3⊂H>#⊂H>3⊂x@@#⊃`3@3⊃(6#⊃`3@3⊃(0@#⊂80@3⊃(0@#⊂3@3⊂80@#⊂863⊂3@#⊃(63⊂86#⊂33⊂80#⊂803⊃(0#⊃(03⊃`3#∪x
@3∪p
@#⊃H¬3⊃Gw#∀≡3∀≡#⊃Hλ@3∀≥@#∪0∨3∩h @#∀_73∀_3@#∀ @3∀⊂"#⊃x"@3⊃P#@#∀ 4@3∀0=@#∀≡3∀≡#⊃Hλ@3⊃X$@#∀≥@3∀≡#⊃H*3⊃7s@#⊃X$@3∀_7#⊃Gw3∪x
@#∀0=@3⊃H*#⊃H¬3∀~@# h6@3⊃H*#∂λP3 `A#∂λG3∂λP# λB3 `A#∞@Q3 λB# λB3 _8#∂λP3∞@Q# `A3 h6@# h6@3∂λG#∀0=@3∂λG#∀~@3∪x
@# _83 @¬@# @¬@3⊃7s@#⊃7s@3∀ @#`Wl@3↔l@#⊃)@#`Q)@#`Wl@#u13s8&@#t803t@/@#s@)@3sH)#tx23tX0@#tP03sX*#t@0@3tP0#u13uλ1@#s('3s8&@#s@'@3s8&@#s0(3s('#s@*3s@)@#t@0@3t80#tX0@3tH1#tH13t@0@#sX*3sH*@#sH*@3s@*#s@*3sP)@#sP)@3s0(#s0(3s@'@#uλ1@3s@'@#uλ1@3tx2#qP∀@3r0(#sh#3t_+#uH:3t@"#t@-@3s⊂$#sh#3r`≠@#qP
@3qP
#u(:@3r0(#rP'@3r0(#qP
3rP'@#t"3t@-@#rP_3s⊂$#rP'@3uH:#rP_3t"#t"3sh##qP
3t@"#uH:3u(:@#o⊂R3n@P#n@P3n@L@#n@P3nHO@#n@L@3nHL@#o_R3o⊂R#o_O3o_R#nHL@3o_O#nHO@3nHL@#o_R3nHO@#t0?@3t0?#t0?3t(>#t(>3t(=@#t(=@3t(=#t(=3t0=@#t0=@3t8>@#t8>@3t8?#t8?3t0?@#sp<@3sp<#sp<3sh;#sh;3sh:@#sh:@3sh:#sh:3sp:@#sp:@3sx;@#sx;@3sx<#sx<3sp<@#rh63r`6#r`63rX5#rX53rX4#rX43r`3@#r`3@3rh4#rh43rp5#rp53rp6#rp63rh6#r 33r_2@#r_2@3r⊂1@#r⊂1@3r⊂0@#r⊂0@3r_0#r_03r_0@#r_0@3r 1@#r 1@3r 2@#r 2@3r 3#s893s08#s@73s@8#s86@3s@7#s073s86@#s(6@3s86@#s083s07#s 73s07#s 83s08#s@93s89#s(9@3s89#sH8@3s@9#s@93s0:#s@83sH8@#s0:3s(9@#s(9@3s 8#s 83s 7#s 73s(6@#s8∪@3s@∪@#r`∞3rh∞#sh∃@3sP∀@#sH∀3rp∂#s8∀@3sH∀#r` 3sx∃#sx∃3sx∃@#rP @3r` #r` @3r` #rP
3rP @#r`∂3r`∞#s8∀@3s8∪@#sP∀@3s@∀@#s@∀@3s8∀@#rp∂3rh∂#rh∂3r`∂#r`∂3rp∞@#rp∞@3rP
#rP
3r` @#sx∃@3r` @#sx∃@3sh∃@#qP @3qP @#t8∨3t8∨#qO{3qO{#qO{3t0⊃#qP @3qO{#t0⊃3t8∨#t8∨3qP @#o`?3o(B#o`?3o_<@#n_=3o_<@#mh?@3n_=#n0B3mh?@#o(B3n0B#mh?3n_<@#n_<@3o_<#o_<3o`?#sXC3s_E@#sXC3s @@#r @@3s @@#qhC@3r @@#r(F3qhC@#s_E@3r(F#qhC3r @@#r @@3s @#s @3sXB@#q(G@3pxI@#q(G@3ppE@#pλE@3ppE@#oXH3pλE@#p_J3oXH#pxI@3p_J#oXG@3pλE#pλE3ppE#ppE3q(G#qp:3q@<@#qp:3q87@#p@7@3q87@#p⊂:@3p@7@#pH=3p⊂:@#q@<@3pH=#p⊂:3p@7#p@73q87#q873qp9@#sp$3s %@#t0⊃3t0⊃#qP @3qOz@#t@"3t@"#qP
3sx≡#t@⊂3tP%#tX=3tP6@#r0'@3qX)@#t@"3t@"#t@"@3t@"#t`73thC@#qP
3qX+#qH0@3q?w@#qX+3tX=#qOz@3t0⊃#thC@3qH0@#qP @3t@∨#kh>@3qH0@#o@W@3kXI#o@N3o@W@#k⊂J@3kXI#nxX@3k⊂J@#k⊂J@3k_@#o@W@3nxX@#kXI3kh>@#kh>@3o@N#thC@3o@N#t@∨3t0⊃#k_@3kP #kP 3q?w@#q?w@3t@⊂#␈wl@3∨7l@#∨1)@#␈q)@#␈wl@#∀@0@3∀X2#∀ 03∀(/@#∪()@3∪0)#∪ &@3∀h1#∀803∪@*#∀(0@3∀80#∀h13∀h1@#∪⊂'3∪ &@#∪('@3∪ &@#∪_(3∪⊂'#∪(*3∪()@#∀(0@3∀ 0#∀@0@3∀01#∀013∀(0@#∪@*3∪0*@#∪0*@3∪(*#∪(*3∪8)@#∪8)@3∪_(#∪_(3∪('@#∀h1@3∪('@#∀h1@3∀X2#⊃8∀@3∩_(#∪H#3∪x+#∩x$3∪ &@#∪h"3∀(-@#∩_(3∃λ:@#∪H#3∩H≠@#⊃8
@3⊃8
#∀ "3∃(:#∩@'@3∩_(#⊃8
3∩@'@#∩8_3∩x$#∩@'@3∃(:#∩8_3∪h"#∪h"3∪H##⊃8
3∀ "#∃(:3∃λ:@#∞hR3∞ P#∞ P3∞ L@#∞ P3∞(O@#∞ L@3∞(L@#∞xR3∞hR#∞xO3∞xR#∞(L@3∞xO#∞(O@3∞(L@#∞xR3∞(O@#∀_?@3∀⊂?#∀⊂?3∀λ>#∀λ>3∀λ=@#∀λ=@3∀⊂=#∀⊂=3∀_=@#∀_=@3∀_>@#∀_>@3∀ ?#∀ ?3∀_?@#∪X<@3∪P<#∪P<3∪H;#∪H;3∪H:@#∪H:@3∪P:#∪P:3∪X:@#∪X:@3∪`;@#∪`;@3∪`<#∪`<3∪X<@#∩P63∩H6#∩H63∩@5#∩@53∩@4#∩@43∩H3@#∩H3@3∩P4#∩P43∩X5#∩X53∩X6#∩X63∩P6#∩λ33∩2@#∩2@3⊃x1@#⊃x1@3⊃x0@#⊃x0@3∩0#∩03∩λ0@#∩λ0@3∩⊂1@#∩⊂1@3∩⊂2@#∩⊂2@3∩λ3#∪ 93∪_8#∪ 73∪(8#∪ 6@3∪ 7#∪_73∪ 6@#∪⊂6@3∪ 6@#∪_83∪_7#∪λ73∪_7#∪λ83∪_8#∪(93∪ 9#∪⊂9@3∪ 9#∪(8@3∪(9#∪(93∪_:#∪(83∪(8@#∪_:3∪⊂9@#∪⊂9@3∪λ8#∪λ83∪λ7#∪λ73∪⊂6@#∪ ∪@3∪(∪@#∩@∞3∩H∞#∪H∃@3∪0∀@#∪(∀3∩X∂#∪ ∀@3∪(∀#∩H 3∪X∃#∪X∃3∪X∃@#∩8 @3∩H #∩H @3∩H #∩8
3∩8 @#∩@∂3∩@∞#∪ ∀@3∪ ∪@#∪0∀@3∪ ∀@#∪ ∀@3∪ ∀@#∩X∂3∩H∂#∩H∂3∩@∂#∩@∂3∩P∞@#∩P∞@3∩8
#∩8
3∩H @#∪X∃@3∩H @#∪X∃@3∪H∃@#⊃8 @3⊃8 @#∀_∨3∀_∨#⊃7{3⊃7{#⊃7{3∀⊂⊃#⊃8 @3⊃7{#∀⊂⊃3∀_∨#∀_∨3⊃8 @#∂@?3∂⊂B#∂@?3∂<@#∞=3∂<@#
P?@3∞=#∞_B3
P?@#∂⊂B3∞_B#
P?3∞<@#∞<@3∂<#∂<3∂@?#∪8C3∪E@#∪8C3∪@@#∩λ@@3∪@@#⊃PC@3∩λ@@#∩λF3⊃PC@#∪E@3∩λF#⊃HC3∩λ@@#∩λ@@3∪@#∪@3∪8B@#⊃λG@3⊂XI@#⊃λG@3⊂PE@#∂hE@3⊂PE@#∂8H3∂hE@#∂pJ3∂8H#⊂XI@3∂pJ#∂8G@3∂hE#∂hE3⊂PE#⊂PE3⊃λG#⊃X:3⊃ <@#⊃X:3⊃ 7@#⊂(7@3⊃ 7@#∂x:@3⊂(7@#⊂0=3∂x:@#⊃ <@3⊂0=#∂x:3⊂(7#⊂(73⊃ 7#⊃ 73⊃X9@#∪P$3∪λ%#∀⊂⊃3∀⊂⊃#⊃8 @3⊃7z@#∀ "3∀ "#⊃8
3∪P≥@#∀8=3∀06#∀_⊂3∀0%#∩_'@3⊃@)#∀ "3∀ "#∀@73∀PC@#∀ "@3∀ "#⊃8
3⊃@+#⊃00@3⊃'w@#⊃@+3∀8=#⊃7z@3∀⊂⊃#∀PC@3⊃00@#⊃8 @3∀ ∨# H>@3⊃00@#∂ W@3 @I#∂ N3∂ W@#
pJ@3 @I#∞PX@3
pJ@#
pJ@3
x@#∂ W@3∞PX@# @I3 H>@# H>@3∂ N#∀PC@3∂ N#∀ ∨3∀⊂⊃#
x@3 ( # ( 3⊃'w@#⊃'w@3∀_⊂#`Wl@3↔l@#⊃)@#`Q)@#`Wl@#u(63s@,#t`53t`5#sH/3sP.@#u 7@3tx6#tp5@3sh/@#t`63tp5@#u(63u07#s0,@3s@,#sH,@3s@,#s8-@3s0,@#sP03sH/#t`63t`5#tx63th6@#th6@3t`6#sh/@3sX0#sX03sP0#sP03s`/#s`/3s8-@#s8-@3sH,@#u073sH,@#u073u 7@#sx(3t00@#q8→3r0.#r0.3uX@#th33s_)@#sx(3r` @#q8∩@3q8∩@#tX'3ux?@#rP-@3r0.#q8∩@3rP-@#t_'3th3#rH≥3s_)@#rP-@3ux?@#rH≥3t_'#t_'3sx(#q8∩@3tX'#ux?@3uX@#o Z3nHW@#nHW@3nHT@#nHW@3nPW@#nHT@3nPT#o(Y@3o Z#o(V@3o(Y@#nPT3o(V@#nPW@3nPT#o(Y@3nPW@#tHF3t@F#t@F3t@E#t@E3t8D#t8D3t@C@#t@C@3tHD#tHD3tPE#tPE3tPE@#tPE@3tHF#tC@3sxC#sxC3spB#spB3spA@#spA@3sxA#sxA3tA#tA3tλB#tλB3tλC#tλC3tC@#r`=@3rX=#rX=3rP<#rP<3rP;#rP;3rX:@#rX:@3r`;#r`;3rh<#rh<3rh=#rh=3r`=@#r⊂:3rλ9@#rλ9@3r8@#r8@3r8#r83rλ7@#rλ7@3r⊂7@#r⊂7@3r_8@#r_8@3r_9@#r_9@3r⊂:#s@@3s8?#s@>3sH?#s8=@3s@>#s0>3s8=@#s(=@3s8=@#s8?3s0>#s >3s0>#s ?3s8?#s@@3s@@#s0@@3s@@#sH?@3s@@#s@@3s8@@#sH?3sH?@#s8@@3s0@@#s0@@3s ?#s ?3s >#s >3s(=@#s@_@3sH_#rX∪3r`∪#sx~@3sX→#sP_@3rp∪@#sH→3sP_@#rX⊂@3t→@#t→@3t~#rH⊃3rX⊂@#rX⊃@3rX⊂@#rP⊃@3rH⊃#rX∪@3rX∪#sH→3s@_@#sX→3sH→@#sH→@3sH→#rp∪@3r`∀#r`∀3rX∪@#rX∪@3rh∪#rh∪3rP⊃@#rP⊃@3rX⊃@#t~3rX⊃@#t~3sx~@#q8∞@3q8∞@#tX#@3tX#@#q7␈@3q?␈@#q?␈@3tH∃#q8∞@3q?␈@#tH∃3tX#@#tX#@3q8∞@#oPG3o I@#oPG3oD@#nD@3oD@#mXG@3nD@#n(J3mXG@#o I@3n(J#mXG3nD#nD3oD#oD3oPF@#spJ3s0L@#spJ3s(G@#r(H3s(G@#qpJ@3r(H#r8M3qpJ@#s0L@3r8M#qpJ3r(G@#r(G@3s(G#s(G3spI@#q8N@3qλQ#q8N@3pxL@#pλM3pxL@#o`O3pλM#p Q3o`O#qλQ3p Q#o`O3pλL@#pλL@3pxL@#pxL@3q8N#qhA@3q8D#qhA@3q(?#p(?@3q(?#oxB3p(?@#p@D@3oxB#q8D3p@D@#oxA@3p(?#p(?3q(>@#q(>@3qhA#tH∃3tH∃#tX'3tX'#q8∩@3sx"#q8∞@3q7␈#t)3s0*@#tpC@3tp;@#tX∀3tp*#r0-@3q@/@#tX'3tX'#tX'3tX'#u<3uλJ#q8∩@3q@2#q(83q'{@#q@23tpC@#q7␈3tH∃#uλJ3q(8#q8∞@3tX#@#kHF@3q(8#oX←3k@R#oXU3oX←#jpS3k@R#oλ`3jpS#jpS3jxH#oX←3oλ`#k@R3kHF@#kHF@3oXU#uλJ3oXU#tX#@3tH∃#jxH3k8⊃#k8⊃3q'{@#q'{@3tX∀#␈wl@3∨7l@#∨1)@#␈q)@#␈wl@#∀`63∃λ7@#∀H53∀P5#∪8/3∪@.@#∪0,3∃⊂6#∀X5@3∪X/@#∀H63∀X5@#∃⊂63∃_7#∪ ,@3∪0,#∪8,@3∪0,#∪(-@3∪ ,@#∪@03∪8/#∀H63∀H5#∀`63∀P6@#∀P6@3∀H6#∪X/@3∪H0#∪H03∪@0#∪@03∪P/#∪P/3∪(-@#∪(-@3∪8,@#∃_73∪8,@#∃_73∃λ7@#∪`(3∀_0@#⊃(→3∩ .#∩ .3∃@@#∀H33∪)@#∪`(3∩H!#⊃ ∩@3⊃ ∩@#∀@'3∃`?@#∩H-@3∩ .#⊃ ∩@3∩H-@#∀'3∀H3#∩0≥3∪)@#∩H-@3∃`?@#∩0≥3∀'#∀'3∪`(#⊃ ∩@3∀@'#∃`?@3∃@@#∂Z3∞(W@#∞(W@3∞(T@#∞(W@3∞0W@#∞(T@3∞8T#∂λY@3∂Z#∂λV@3∂λY@#∞8T3∂λV@#∞0W@3∞8T#∂λY@3∞0W@#∀0F3∀(F#∀(F3∀ E#∀ E3∀ D#∀ D3∀(C@#∀(C@3∀0D#∀0D3∀8E#∀8E3∀8E@#∀8E@3∀0F#∪hC@3∪`C#∪`C3∪XB#∪XB3∪XA@#∪XA@3∪`A#∪`A3∪hA#∪hA3∪pB#∪pB3∪pC#∪pC3∪hC@#∩P=@3∩H=#∩H=3∩@<#∩@<3∩@;#∩@;3∩H:@#∩H:@3∩P;#∩P;3∩X<#∩X<3∩X=#∩X=3∩P=@#⊃x:3⊃p9@#⊃p9@3⊃h8@#⊃h8@3⊃h8#⊃h83⊃p7@#⊃p7@3⊃x7@#⊃x7@3∩8@#∩8@3∩9@#∩9@3⊃x:#∪(@3∪ ?#∪0>3∪8?#∪(=@3∪0>#∪ >3∪(=@#∪_=@3∪(=@#∪ ?3∪ >#∪⊂>3∪ >#∪⊂?3∪ ?#∪0@3∪(@#∪_@@3∪(@#∪8?@3∪0@#∪0@3∪ @@#∪8?3∪8?@#∪ @@3∪_@@#∪_@@3∪⊂?#∪⊂?3∪⊂>#∪⊂>3∪_=@#∪(_@3∪0_#∩@∪3∩H∩@#∪X~@3∪@→#∪8_@3∩X∪@#∪(→3∪8_@#∩@⊂@3∪h→@#∪h→@3∪h~#∩0⊃3∩@⊂@#∩@⊃@3∩@⊂@#∩8⊃@3∩0⊃#∩@∪@3∩@∪#∪(→3∪(_@#∪@→3∪0→@#∪0→@3∪(→#∩X∪@3∩H∀#∩H∀3∩@∪@#∩@∪@3∩P∪#∩P∪3∩8⊃@#∩8⊃@3∩@⊃@#∪h~3∩@⊃@#∪h~3∪X~@#⊃ ∞@3⊃ ∞@#∀8#@3∀8#@#⊃∨␈@3⊃'␈@#⊃'␈@3∀(∃#⊃ ∞@3⊃'␈@#∀(∃3∀8#@#∀8#@3⊃ ∞@#∂8G3∂λI@#∂8G3∞pD@#
hD@3∞pD@#
@G@3
hD@#∞⊂J3
@G@#∂λI@3∞⊂J#
@G3
hD#
hD3∞pD#∞pD3∂8F@#∪PJ3∪_L@#∪PJ3∪⊂G@#∩⊂H3∪⊂G@#⊃XJ@3∩⊂H#∩ M3⊃XJ@#∪_L@3∩ M#⊃XJ3∩⊂G@#∩⊂G@3∪⊂G#∪⊂G3∪PI@#⊃ N@3⊂pQ#⊃ N@3⊂`L@#∂pM3⊂`L@#∂HO3∂pM#⊂λQ3∂HO#⊂pQ3⊂λQ#∂HO3∂pL@#∂pL@3⊂`L@#⊂`L@3⊃_N#⊃XA@3⊃ D#⊃XA@3⊃⊂?#⊂_?@3⊃⊂?#∂hB3⊂_?@#⊂(D@3∂hB#⊃ D3⊂(D@#∂hA@3⊂_?#⊂_?3⊃⊂>@#⊃⊂>@3⊃XA#∀(∃3∀(∃#∀@'3∀@'#⊃ ∩@3∪X"#⊃ ∞@3⊃∨␈#∪h)3∪_*@#∀XC@3∀P;#∀8∀3∀P)@#∩_-3⊃0/@#∀@'3∀@'#∀@'3∀@'#∀`<3∀pJ#⊃ ∩@3⊃02#⊃_83⊃∂{@#⊃023∀XC@#⊃∨␈3∀(∃#∀pJ3⊃_8#⊃ ∞@3∀8#@# 0F@3⊃_8#∂8←3 (R#∂8U3∂8←#
XS3 (R#∞h`3
XS#
XS3
`H#∂8←3∞h`# (R3 0F@# 0F@3∂8U#∀pJ3∂8U#∀8#@3∀(∃#
`H3 _⊃# _⊃3⊃∂{@#⊃∂{@3∀8∀#`Wl@3↔l@#⊃)@#`Q)@#`Wl@#u0;3uX<@#u⊂:@3u_:#sp43sx3@#s`13u`;#u(:@3t⊂4@#u_;3u(:@#u`;3uh;@#sP1@3s`1#sh1@3s`1#sX2@3sP1@#sx53sp4#u_;3u⊂:@#u0;3u ;@#u ;@3u_;#t⊂4@3t5@#t5@3sx5#sx53t4#t43sX2@#sX2@3sh1@#uh;@3sh1@#uh;@3uX<@#q ≥@3rH3@#t_-@3tX5@#s(/3s`1#t0,@3u⊂8#rH3@3v(E#t_-@3rh&@#q__@3q _@#tx,@3vHD@#rh2@3rH3@#q _@3rh2@#rH"@3s(/#rh2@3vHD@#rH"@3t0,@#t0,@3t_-@#q _@3tx,@#vHD@3v(E#o0b3nP`#nP`3nP\@#nP`3nX`#nP\@3nX\@#o8b3o0b#o8↑@3o8b#nX\@3o8↑@#nX`3nX\@#o8b3nX`#t`M@3tXM@#tXM@3tPL@#tPL@3tPK@#tPK@3tXK#tXK3t`K#t`K3thL@#thL@3thM#thM3t`M@#t⊂K3tλJ@#tλJ@3tI@#tI@3tI#tI3tλH@#tλH@3t⊂H@#t⊂H@3t_I@#t_I@3t_J@#t_J@3t⊂K#r`E3rPE#rPE3rHD#rHD3rHC#rHC3rPB@#rPB@3rXB@#rXB@3rhD#rhD3rhD@#rhD@3r`E#qxB3qpB#qpB3qh@@#qh@@3qh@#qh@3qp?#qp?3qx?@#qx?@3rλ@@#rλ@@3rλA@#rλA@3qxB#s@G@3s8F@#sHE@3sPF@#s@E3sHE@#s8E@3s@E#s0E3s@E#s8F@3s8E@#s E@3s8E@#s(F@3s8F@#sHH3s@G@#s0H3s@G@#sPG@3sHH#sHH3s8H@#sPF@3sPG@#s8H@3s0H#s0H3s(F@#s(F@3s E@#s E@3s0E#sH≥@3sP≥#rX_3rX_#t∨@3s`≡#sX≥@3rp→#sP≡3sX≥@#rP⊗3t⊂≡@#t⊂≡@3t⊂∨#r@⊗3rP⊗#rP⊗@3rP⊗#r@↔3r@⊗#rX→3rX_#sP≡3sH≥@#s`≡3sX≡@#sX≡@3sP≡#rp→3r`→#r`→3rX→#rX→3rh_@#rh_@3r@↔#r@↔3rP⊗@#t⊂∨3rP⊗@#t⊂∨3t∨@#q ∀3q ∀#tp(@3tp(@#q_∧3q_∧#q_∧3t`→@#q ∀3q_∧#t`→@3tp(@#tp(@3q ∀#oHO@3o_R#oHO@3npM#mhM@3npM#m@P3mhM@#n_R@3m@P#o_R3n_R@#m@O@3mhM#mhM3npL@#npL@3oHO#tQ@3sHT@#tQ@3s8O@#r0P3s8O@#rR@3r0P#rHT@3rR@#sHT@3rHT@#rR3r0O@#r0O@3s8O#s8O3tQ#qHV@3q X@#qHV@3qT@#p⊂U3qT@#ohW@3p⊂U#p0Y3ohW@#q X@3p0Y#ohW3p⊂T@#p⊂T@3qT#qT3qHV#q`I@3q0L@#q`I@3q⊂G@#p⊂H3q⊂G@#ohJ@3p⊂H#p8M3ohJ@#q0L@3p8M#ohJ3p⊂G@#p⊂G@3q⊂F@#q⊂F@3q`I#th→@3t`→@#t_.@3sH0#q_∀3q_β@#q__3sh&@#u⊂J@3uλ?@#tp_3uλ.@#r@33q 7#u_@3u(Q@#q__3q :#qλ@@3q#q :3u⊂J@#q_β@3th→@#u(Q@3qλ@@#q_∀3tp)#k(O@3qλ@@#opg@3k [@#op]3opg@#jP\@3k [@#o h@3jP\@#jP\@3j`Q#opg@3o h@#k [@3k(O@#k(O@3op]#u(Q@3op]#tp)3th→@#j`Q3k ↔#k ↔3q#q3tp_#␈wl@3∨7l@#∨1)@#␈q)@#␈wl@#∃ ;3∃H<@#∃:@3∃λ:#∪`43∪h3@#∪P13∃P;#∃_:@3∀4@#∃λ;3∃_:@#∃P;3∃X;@#∪@1@3∪P1#∪X1@3∪P1#∪H2@3∪@1@#∪h53∪`4#∃λ;3∃:@#∃ ;3∃⊂;@#∃⊂;@3∃λ;#∀4@3∪p5@#∪p5@3∪h5#∪h53∪x4#∪x43∪H2@#∪H2@3∪X1@#∃X;@3∪X1@#∃X;@3∃H<@#⊃⊂≥@3∩@3@#∀-@3∀@5#∪_/3∪P1#∀_,@3∃7@#∀-@3∩X&@#⊃λ_@3⊃⊂_@#⊗⊂E3∩@3@#∀X,@3⊗0D@#∩`2@3∩@3@#⊃⊂_@3∩`2@#∩8"@3∪_/#∩`2@3⊗0D@#∩8"@3∀_,@#∀_,@3∀-@#⊃⊂_@3∀X,@#⊗0D@3⊗⊂E#∂⊂b3∞0`#∞0`3∞0\@#∞0`3∞@`#∞0\@3∞@\@#∂ b3∂⊂b#∂ ↑@3∂ b#∞@\@3∂ ↑@#∞@`3∞@\@#∂ b3∞@`#∀PM@3∀HM@#∀HM@3∀@L@#∀@L@3∀@K@#∀@K@3∀HK#∀HK3∀HK#∀HK3∀PL@#∀PL@3∀XM#∀XM3∀PM@#∀K3∪xJ@#∪xJ@3∪hI@#∪hI@3∪hI#∪hI3∪pH@#∪pH@3∪xH@#∪xH@3∀I@#∀I@3∀J@#∀J@3∀K#∩PE3∩HE#∩HE3∩8D#∩8D3∩8C#∩8C3∩@B@#∩@B@3∩HB@#∩HB@3∩XD#∩XD3∩XD@#∩XD@3∩PE#⊃pB3⊃hB#⊃hB3⊃X@@#⊃X@@3⊃X@#⊃X@3⊃`?#⊃`?3⊃p?@#⊃p?@3⊃x@@#⊃x@@3⊃xA@#⊃xA@3⊃pB#∪0G@3∪(F@#∪8E@3∪@F@#∪0E3∪8E@#∪(E@3∪0E#∪ E3∪0E#∪(F@3∪(E@#∪⊂E@3∪(E@#∪⊂F@3∪(F@#∪8H3∪0G@#∪ H3∪0G@#∪@G@3∪8H#∪8H3∪(H@#∪@F@3∪@G@#∪(H@3∪ H#∪ H3∪⊂F@#∪⊂F@3∪⊂E@#∪⊂E@3∪ E#∪8≥@3∪8≥#∩@_3∩H_#∪h∨@3∪H≡#∪@≥@3∩X→#∪8≡3∪@≥@#∩@⊗3∪x≡@#∪x≡@3∪x∨#∩0⊗3∩@⊗#∩@⊗@3∩@⊗#∩0↔3∩0⊗#∩@→3∩@_#∪8≡3∪8≥@#∪H≡3∪@≡@#∪@≡@3∪8≡#∩X→3∩H→#∩H→3∩@→#∩@→3∩P_@#∩P_@3∩0↔#∩0↔3∩@⊗@#∪x∨3∩@⊗@#∪x∨3∪h∨@#⊃⊂∀3⊃λ∀#∀X(@3∀X(@#⊃λ∧3⊃λ∧#⊃λ∧3∀H→@#⊃⊂∀3⊃λ∧#∀H→@3∀X(@#∀X(@3⊃⊂∀#∂0O@3∂λR#∂0O@3∞XM#
XM@3∞XM#
(P3
XM@#∞λR@3
(P#∂λR3∞λR@#
(O@3
XM#
XM3∞XL@#∞XL@3∂0O#∪pQ@3∪0T@#∪pQ@3∪ O@#∩ P3∪ O@#⊃hR@3∩ P#∩0T@3⊃hR@#∪0T@3∩0T@#⊃hR3∩ O@#∩ O@3∪ O#∪ O3∪hQ#⊃0V@3⊃X@#⊃0V@3⊂hT@#∂xU3⊂hT@#∂PW@3∂xU#⊂_Y3∂PW@#⊃X@3⊂_Y#∂PW3∂xT@#∂xT@3⊂hT#⊂hT3⊃0V#⊃PI@3⊃ L@#⊃PI@3⊃G@#⊂H3⊃G@#∂XJ@3⊂H#⊂ M3∂XJ@#⊃ L@3⊂ M#∂XJ3⊂G@#⊂G@3⊃F@#⊃F@3⊃PI#∀H→@3∀H→@#∀.@3∪80#⊃λ∀3⊃λβ@#⊃λ_3∪H&#∀X_3∀p.@#∀xJ@3∀p?#∩833⊃_6@#∃@3∃_Q@#⊃λ_3⊃_:#⊃@@3⊂p#⊃_:3∀xJ@#⊃λβ@3∀H→@#∃_Q@3⊃@@#⊃λ∀3∀X)# _O@3⊃@@#∂Pg@3 ⊂[@#∂P]3∂Pg@#
@\@3 ⊂[@#∂h@3
@\@#
@\@3
HQ#∂Pg@3∂h@# ⊂[@3 _O@# _O@3∂P]#∃_Q@3∂P]#∀X)3∀H→@#
HQ3 ↔# ↔3⊂p#⊂p3∀X_#`Wl@3↔l@#⊃)@#`Q)@#`Wl@#uX;3vλ<@#u8;3u@:@#sx4@3t4#s`13v⊂;#uP;3t 5#u@;@3uP;#v⊂;3v_<#sP23s`1#sh23s`1#sX33sP2#t5@3sx4@#u@;@3u8;#uX;3uP<#uP<3u@;@#t 53t⊂6#t⊂63t5@#t5@3t⊂4@#t⊂4@3sX3#sX33sh2#v_<3sh2#v_<3vλ<@#r@4@3ph∨#t(/@3tp5@#s(03sX1@#t@-@3u08#r@4@3vpF#t(/@3r`(@#ph~@3pp~@#u⊂.3w⊂D@#r`33r@4@#pp~@3r`3#r0$3s(0#r`33w⊂D@#r0$3t@-@#t@-@3t(/@#pp~@3u⊂.#w⊂D@3vpF#oPg3n`e#n`e3n`a@#n`e3npe#n`a@3npa@#oXg3oPg#oXc@3oXg#npa@3oXc@#npe3npa@#oXg3npe#txQ3tpQ#tpQ3thP#thP3t`O#t`O3tpN@#tpN@3txN@#txN@3uO@#uO@3uP@#uP@3txQ#t_N@3t⊂N@#t⊂N@3tM#tM3tL@#tL@3tλK@#tλK@3t_L#t_L3t M#t M3t N#t N3t_N@#rHI3r8I#r8I3r0G@#r0G@3r0F@#r0F@3r8F#r8F3rHF@#rHF@3rPG@#rPG@3rPH@#rPH@3rHI#qXF3qHF#qHF3q@D@#q@D@3q@C@#q@C@3qHC#qHC3qXC@#qXC@3q`D@#q`D@3q`E@#q`E@3qXF#s8K3s0J#s@I3sHJ#s8H@3s@I#s0I@3s8H@#s(H@3s8H@#s0J3s0I@#s_I3s0I@#s_J@3s0J#s@K@3s8K#s(L3s8K#sHK3s@K@#s@K@3s8L#sHJ3sHK#s8L3s(L#s(L3s_J@#s_J@3s_I#s_I3s(H@#sH≡@3sP≡@#r@→@3rH→@#tλ @3s`∨@#sX∨3rX~#sH∨@3sX∨#r8↔3t_∨@#t_∨@3t_ #r(↔@3r8↔#r8_3r8↔#r(_@3r(↔@#r@~@3r@→@#sH∨@3sH≡@#s`∨@3sX∨@#sX∨@3sH∨@#rX~3rH~@#rH~@3r@~@#r@~@3rP~#rP~3r(_@#r(_@3r8_#t_ 3r8_#t_ 3tλ @#pp⊗3pp⊗#uλ*3uλ*#ph¬3pp¬#pp¬3tx~#pp⊗3pp¬#tx~3uλ*#uλ*3pp⊗#o8T3o_W#o8T3nPR#mHR@3nPR#m0U@3mHR@#n⊂W@3m0U@#o_W3n⊂W@#m0U3mHR#mHR3nPQ#nPQ3o8S@#t_U@3s`X#t_U@3s@S@#r0T3s@S@#rλW3r0T#r`Y3rλW#s`X3r`Y#rλV@3r0S@#r0S@3s@S#s@S3t_U#q`[3q8]#q`[3q⊂Y#p_Y@3q⊂Y#ox\3p_Y@#pH]@3ox\#q8]3pH]@#ox[@3p_Y#p_Y3q⊂X@#q⊂X@3q`Z@#qHN3q P@#qHN3ppK@#ohL@3ppK@#oHO@3ohL@#p Q@3oHO@#q P@3p Q@#oHN@3ohL#ohL3ppK#ppK3qHM@#u~3tx~#t00@3sx2#ph⊗3ph∧@#u⊂_@3u(0#ph~3sP'#u0M@3u ?@#r`5@3pp;@#u8@3uHU#ph~3pp=@#pPE3pP↓#pp=@3u0M@#ph∧@3u~#uHU3pPE#ph⊗3uλ*#k⊂U3pPE#p_l@3kλa@#p_a@3p_l@#j@c3kλa@#oHm@3j@c#j@c3jHV@#p_l@3oHm@#kλa@3k⊂U#k⊂U3p_a@#uHU3p_a@#uλ*3u~#jHV@3k⊂≠#k⊂≠3pP↓#pP↓3u⊂_@#␈wl@3∨7l@#∨1)@#␈q)@#␈wl@#∃P;3∃x<@#∃(;3∃0:@#∪p4@3∪x4#∪X13⊗;#∃@;3∀⊂5#∃0;@3∃@;#⊗;3⊗λ<#∪H23∪X1#∪`23∪X1#∪P33∪H2#∪x5@3∪p4@#∃0;@3∃(;#∃P;3∃@<#∃@<3∃0;@#∀⊂53∀λ6#∀λ63∪x5@#∪x5@3∀λ4@#∀λ4@3∪P3#∪P33∪`2#⊗λ<3∪`2#⊗λ<3∃x<@#∩84@3⊂`∨#⊗`F3∩84@#∀⊂/@3∀X5@#∪ 03∪P1@#∀0-@3∃ 8#∀⊂/@3∩P(@#⊂`~@3⊂`~@#∀x.3↔D@#∩`33∩84@#⊂`~@3∩`3#∩ $3∪ 0#∩`33↔D@#∩ $3∀0-@#∀0-@3∀⊂/@#⊂`~@3∀x.#↔D@3⊗`F#∂0g3∞He#∞He3∞Ha@#∞He3∞Xe#∞Ha@3∞Xa@#∂@g3∂0g#∂@c@3∂@g#∞Xa@3∂@c@#∞Xe3∞Xa@#∂@g3∞Xe#∀hQ3∀`Q#∀`Q3∀PP#∀PP3∀PO#∀PO3∀XN@#∀XN@3∀`N@#∀`N@3∀pO@#∀pO@3∀pP@#∀pP@3∀hQ#∀λN@3∀N@#∀N@3∪pM#∪pM3∪pL@#∪pL@3∪xK@#∪xK@3∀λL#∀λL3∀⊂M#∀⊂M3∀⊂N#∀⊂N3∀λN@#∩8I3∩0I#∩0I3∩(G@#∩(G@3∩(F@#∩(F@3∩0F#∩0F3∩8F@#∩8F@3∩@G@#∩@G@3∩HH@#∩HH@3∩8I#⊃PF3⊃@F#⊃@F3⊃8D@#⊃8D@3⊃8C@#⊃8C@3⊃@C#⊃@C3⊃HC@#⊃HC@3⊃XD@#⊃XD@3⊃XE@#⊃XE@3⊃PF#∪(K3∪ J#∪0I3∪8J#∪(H@3∪0I#∪ I@3∪(H@#∪_H@3∪(H@#∪ J3∪ I@#∪λI3∪ I@#∪⊂J@3∪ J#∪0K@3∪(K#∪_L3∪(K#∪@K3∪0K@#∪0K@3∪(L#∪8J3∪@K#∪(L3∪_L#∪_L3∪⊂J@#∪⊂J@3∪λI#∪λI3∪_H@#∪8≡@3∪8≡@#∩0→@3∩0→@#∪p @3∪P∨@#∪H∨3∩H~#∪8∨@3∪H∨#∩(↔3∀∨@#∀∨@3∀ #∩_↔@3∩(↔#∩(_3∩(↔#∩__@3∩_↔@#∩0~@3∩0→@#∪8∨@3∪8≡@#∪P∨@3∪@∨@#∪@∨@3∪8∨@#∩H~3∩8~@#∩8~@3∩0~@#∩0~@3∩@~#∩@~3∩__@#∩__@3∩(_#∀ 3∩(_#∀ 3∪p @#⊂`⊗3⊂`⊗#∀p*3∀p*#⊂X¬3⊂`¬#⊂`¬3∀`~#⊂`⊗3⊂`¬#∀`~3∀p*#∀p*3⊂`⊗#∂(T3∂W#∂(T3∞@R#
8R@3∞@R#
_U@3
8R@#∞W@3
_U@#∂W3∞W@#
_U3
8R#
8R3∞@Q#∞@Q3∂(S@#∀U@3∪PX#∀U@3∪0S@#∩ T3∪0S@#⊃pW3∩ T#∩HY3⊃pW#∪PX3∩HY#⊃pV@3∩ S@#∩ S@3∪0S#∪0S3∀U#⊃H[3⊃ ]#⊃H[3⊂xY#⊂Y@3⊂xY#∂`\3⊂Y@#⊂0]@3∂`\#⊃ ]3⊂0]@#∂`[@3⊂Y#⊂Y3⊂xX@#⊂xX@3⊃HZ@#⊃@N3⊃⊂P@#⊃@N3⊂`K@#∂`L@3⊂`K@#∂8O@3∂`L@#⊂⊂Q@3∂8O@#⊃⊂P@3⊂⊂Q@#∂8N@3∂`L#∂`L3⊂`K#⊂`K3⊃@M@#∀`~3∀`~#∀ 03∪h1@#⊂`⊗3⊂X∧@#⊂`~3∪8'#∀x_@3∃⊂0#∃_M@3∃λ?#∩P53⊂h;#∃ @3∃8U#⊂`~3⊂h=@#⊂HE3⊂@↓#⊂h=@3∃_M@#⊂X∧@3∀`~#∃8U3⊂HE#⊂`⊗3∀x*# U3⊂HE#∂xl@3
xa@#∂xa@3∂xl@#
(c3
xa@#∂0m@3
(c#
(c3
8V@#∂xl@3∂0m@#
xa@3 U# U3∂xa@#∃8U3∂xa@#∀x*3∀`~#
8V@3
p≠#
p≠3⊂@↓#⊂@↓3∀x_@#`Wl@3↔l@#⊃)@#`Q)@#`Wl@#uP:@3uX:#sh4@3sp4#v(<3up:@#s@13v0:@#uh:@3t⊂5#uX;@3uh:@#v0:@3v8;#s823s@1#sP1@3s@1#s@2@3s82#sp5@3sh4@#uX;@3uP:@#up:@3uh<#uh<3uX;@#t⊂53t6#t63sp5@#sp5@3t4@#t4@3s@2@#s@2@3sP1@#v8;3sP1@#v8;3v(<#r⊂53p !#w0E@3r⊂5#t00@3tp5@#s⊂03s81@#tH.@3u@7@#t00@3r@*#p ≥3p(≥#u(/3wPD#r033r⊂5#p(≥3r03#rλ&3s⊂0#r033wPD#rλ&3tH.@#tH.@3t00@#p(≥3u(/#wPD3w0E@#oxl3oj@#oj@3oλg#oj@3o⊂j@#oλg3o⊂f@#pλl3oxl#pλh@3pλl#o⊂f@3pλh@#o⊂j@3o⊂f@#pλl3o⊂j@#uλT@3uT@#uT@3tpS@#tpS@3tpR@#tpR@3txQ@#txQ@3uλR#uλR3u⊂S#u⊂S3u⊂T#u⊂T3uλT@#t⊂R3tλR#tλR3tQ#tQ3tP#tP3tλO@#tλO@3t⊂O@#t⊂O@3t P@#t P@3t Q@#t Q@3t⊂R#r M3r⊂M#r⊂M3rλL#rλL3rλK#rλK3r⊂J#r⊂J3r J@#r J@3r(K@#r(K@3r(L@#r(L@3r M#q_J@3q⊂J#q⊂J3qI#qI3qH#qH3q⊂G@#q⊂G@3q_G@#q_G@3q(I#q(I3q(J#q(J3q_J@#s O3s⊂N#s(L@3s8N#s L@3s(L@#s⊂M3s L@#s⊂L3s L@#s⊂N3s⊂M#sM3s⊂M#sN@3s⊂N#s(O@3s O#s⊂P3s O#s8N@3s(O@#s(O@3s P#s8N3s8N@#s8N@3s0O#s P3s⊂P#s⊂P3sN@#sN@3sM#sM3s⊂L#s0O3s P#s@ 3s@∨@#r ≠3r ≠#t!@3sX @#sP 3r8≠@#s@ @3sP #r⊂_@3t⊂ @#t⊂ @3t⊂!#r→3r⊂_@#r⊂→@3r⊂_@#r~3r→#r ≤3r ≠#s@ @3s@ #sX @3sH!#sH!3s@ @#r8≠@3r(≤#r(≤3r ≤#r ≤3r0≠@#r0≠@3r~#r~3r⊂→@#t⊂!3r⊂→@#t⊂!3t!@#p(_3p(_#u +3u +#p ε@3p(ε@#p(ε@3u⊂~#p(_3p(ε@#u⊂~3u +#u +3p(_#o Y3o⊂\#o Y3n0W#m(X3n0W#m_[3m(X#nλ]3m_[#o⊂\3nλ]#m_Z@3m(W@#m(W@3n0V@#n0V@3o X@#t(Y@3t\#t(Y@3s@W@#r0X@3s@W@#r⊂[@3r0X@#rp]3r⊂[@#t\3rp]#r⊂Z@3r0X#r0X3s@W#s@W3t(Y#qx←@3qXa@#qx←@3q_↑#p(↑@3q_↑#p⊂a3p(↑@#phb@3p⊂a#qXa@3phb@#p⊂`@3p(↑#p(↑3q_]@#q_]@3qx←#q R@3qλU@#q R@3p8P@#o0Q@3p8P@#o T@3o0Q@#pλV@3o T@#qλU@3pλV@#o T3o0Q#o0Q3p8P#p8P3q R#u⊂~3u⊂~#p _3p ε#t@23t 3#u(_@3u@1#p ≤@3s0(#uHP@3u8?@#pHA3pHC#p B3p ≤@#uP@3uhX@#pI@3pλα@#p B3uHP@#p @3pHA#s7@3pHA#p ε3u⊂~#uhX@3pI@#p _3u +#k[3pI@#pPq@3jph#pHf3pPq@#j0i@3jph#pλs3j0i@#j0i@3j@]#pPq@3pλs#jph3k[#k[3pHf#uhX@3pHf#u +3u⊂~#j@]3k∨#k∨3pλα@#pλα@3u(_@#␈wl@3∨7l@#∨1)@#␈q)@#␈wl@#∃@:@3∃P:#∪`4@3∪p4#⊗ <3∃h:@#∪@13⊗(:@#∃X:@3∀λ5#∃P;@3∃X:@#⊗(:@3⊗0;#∪023∪@1#∪H1@3∪@1#∪@2@3∪02#∪p5@3∪`4@#∃P;@3∃@:@#∃h:@3∃`<#∃`<3∃P;@#∀λ53∀6#∀63∪p5@#∪p5@3∪x4@#∪x4@3∪@2@#∪@2@3∪H1@#⊗0;3∪H1@#⊗0;3⊗ <#∩⊂53⊂_!#∪λ03∪81@#∀8.@3∃87@#∀ 0@3∩8*#⊂_≥3⊂_≥#↔(E@3∩⊂5#∀`53∀ 0@#∃⊂/3↔HD#∩833∩⊂5#⊂_≥3∩83#∩&3∪λ0#∩833↔HD#∩&3∀8.@#∀8.@3∀ 0@#⊂_≥3∃⊂/#↔HD3↔(E@#∂`l3∞pj@#∞pj@3∞pg#∞pj@3∞xj@#∞pg3∞xf@#∂pl3∂`l#∂ph@3∂pl#∞xf@3∂ph@#∞xj@3∞xf@#∂pl3∞xj@#∀xT@3∀pT@#∀pT@3∀`S@#∀`S@3∀`R@#∀`R@3∀pQ@#∀pQ@3∀xR#∀xR3∃S#∃S3∃T#∃T3∀xT@#∀λR3∀R#∀R3∪pQ#∪pQ3∪pP#∪pP3∪xO@#∪xO@3∀λO@#∀λO@3∀⊂P@#∀⊂P@3∀⊂Q@#∀⊂Q@3∀λR#∩_M3∩λM#∩λM3∩L#∩L3∩K#∩K3∩λJ#∩λJ3∩_J@#∩_J@3∩ K@#∩ K@3∩ L@#∩ L@3∩_M#⊃_J@3⊃λJ#⊃λJ3⊂xI#⊂xI3⊂xH#⊂xH3⊃λG@#⊃λG@3⊃⊂G@#⊃⊂G@3⊃ I#⊃ I3⊃ J#⊃ J3⊃_J@#∪_O3∪λN#∪ L@3∪0N#∪_L@3∪ L@#∪λM3∪_L@#∪λL3∪_L@#∪λN3∪λM#∩xM3∪λM#∩xN@3∪λN#∪ O@3∪_O#∪λP3∪_O#∪0N@3∪ O@#∪ O@3∪_P#∪0N3∪0N@#∪_P3∪λP#∪λP3∩xN@#∩xN@3∩xM#∩xM3∪λL#∪0 3∪0∨@#∩⊂≠3∩⊂≠#∪p!@3∪H @#∪@ 3∩(≠@#∪0 @3∪@ #∩_@3∀ @#∀ @3∀!#⊃p→3∩_@#∩→@3∩_@#⊃p~3⊃p→#∩⊂≤3∩⊂≠#∪0 @3∪0 #∪H @3∪8!#∪8!3∪0 @#∩(≠@3∩_≤#∩_≤3∩⊂≤#∩⊂≤3∩ ≠@#∩ ≠@3⊃p~#⊃p~3∩→@#∀!3∩→@#∀!3∪p!@#⊂ _3⊂ _#∃⊂+3∃⊂+#⊂_ε@3⊂_ε@#⊂_ε@3∀x~#⊂ _3⊂_ε@#∀x~3∃⊂+#∃⊂+3⊂ _#∂_Y3∂\#∂_Y3∞(W#
_X3∞(W#
λ[3
_X#
x]3
λ[#∂\3
x]#
λZ@3
_W@#
_W@3∞(V@#∞(V@3∂_X@#∀_Y@3∪h\#∀_Y@3∪0W@#∩ X@3∪0W@#∩[@3∩ X@#∩`]3∩[@#∪h\3∩`]#∩Z@3∩ X#∩ X3∪0W#∪0W3∀_Y#⊃`←@3⊃Ha@#⊃`←@3⊃λ↑#⊂⊂↑@3⊃λ↑#∂xa3⊂⊂↑@#⊂Pb@3∂xa#⊃Ha@3⊂Pb@#∂x`@3⊂⊂↑#⊂⊂↑3⊃λ]@#⊃λ]@3⊃`←#⊃_R@3⊂xU@#⊃_R@3⊂0P@#∂(Q@3⊂0P@#∂⊂T@3∂(Q@#∂xV@3∂⊂T@#⊂xU@3∂xV@#∂⊂T3∂(Q#∂(Q3⊂0P#⊂0P3⊃_R#⊂(A3∩x7@#∃~3∀x~#⊂__3⊂_ε#∃⊂_@3∃01#∀⊂33∀02#⊂_≤@3∪ (#∃8P@3∃(?#⊂(A3⊂(B@#⊂(A3⊂ @@#∃@?@3∃`X@#⊂_≤@3⊂ B#⊂I@3∂xα@#⊂ B3∃8P@#⊂_ε3∃~#∃`X@3⊂I@#⊂__3∃⊂+#
p[3⊂I@#⊂0q@3
`h#⊂0f3⊂0q@#
i@3
`h#∂ps3
i@#
i@3
0]#⊂0q@3∂ps#
`h3
p[#
p[3⊂0f#∃`X@3⊂0f#∃⊂+3∃~#
0]3
h∨#
h∨3∂xα@#∂xα@3∃⊂_@#`Wl@3↔l@#⊃)@#`Q)@#`Wl@#uP:3uX9@#sH4@3sP4#v@;@3ux:#s⊂0@3v@9@#uh9@3sp4@#u`;3uh9@#v@9@3vH:@#sλ23s⊂0@#s 13s⊂0@#s⊂2@3sλ2#sP5@3sH4@#u`;3uP:#ux:3up;#up;3u`;#sp4@3sh5@#sh5@3sP5@#sP5@3s`4#s`43s⊂2@#s⊂2@3s 1#vH:@3s 1#vH:@3v@;@#qP53oP#@#r`0@3sλ1@#tH03u@7#qP53whE#t023r_,#oP 3oX #t`53t02#u80@3xλC#qp33qP5#oX 3qp3#qX'@3r`0@#qp33xλC#qX'@3tH0#tH03t02#oX 3u80@#xλC3whE#p0q@3o(p@#o(p@3o(l@#o(p@3o0p#o(l@3o0l#p8q@3p0q@#p8m@3p8q@#o0l3p8m@#o0p3o0l#p8q@3o0p#u⊂X@3uλX@#uλX@3txW#txW3txV@#txV@3uU@#uU@3u⊂U@#u⊂U@3u_W#u_W3u X#u X3u⊂X@#tλV@3tV@#tV@3spU#spU3spT#spT3tS@#tS@3tλS@#tλS@3t_T@#t_T@3t_U@#t_U@3tλV@#qpR3q`Q@#q`Q@3qPP@#qPP@3qPO@#qPO@3q`O#q`O3qpO#qpO3qxP#qxP3qxQ#qxQ3qpR#pXO@3pHO@#pHO@3p8N#p8N3p8M#p8M3pHL@#pHL@3pXL@#pXL@3p`N#p`N3p`O#p`O3pXO@#sS@3rpR@#s⊂Q3s_R#sP@3s⊂Q#rpQ@3sP@#rpP@3sP@#rpR@3rpQ@#r`Q@3rpQ@#r`S3rpR@#s⊂T3sS@#rpT@3sS@#s_S3s⊂T#s⊂T3sλT@#s_R3s_S#s_S3s_S@#sλT@3rpT@#rpT@3r`S#r`S3r`Q@#r`Q@3rpP@#s_S@3sλT@#s0!3s0!#qp≥3qx≥#sx#3sH"#s@!@3r⊂≥@#s0"3s@!@#qX~@3tλ!@#tλ!@3tλ"@#qP≠3qX~@#qX≠3qX~@#qP≤3qP≠#qp≥@3qp≥#s0"3s0!#sH"3s8"@#s8"@3s0"#r⊂≥@3r≡#r≡3qp≥@#qp≥@3r≥#r≥3qP≤#qP≤3qX≠#tλ"@3qX≠#tλ"@3sx##oX≠3oX≠#u0,3u0,#oXλ@3oXλ#oXλ3u ~@#oX≠3oXλ#u ~@3u0,#u0,3oX≠#o⊂←3oλa@#o⊂←3n⊂]#mλ↑@3n⊂]#mλa3mλ↑@#nλc3mλa#oλa@3nλc#mλ↑3n⊂\@#n⊂\@3o⊂↑@#t0↑3t⊂`@#t0↑3s8\#r(]@3s8\#r⊂`3r(]@#sλb3r⊂`#t⊂`@3sλb#r⊂←@3r(\@#r(\@3s8[@#s8[@3t0]#r⊂d@3rf@#r⊂d@3q(c#p0d3q(c#p(f3p0d#q⊂g@3p(f#rf@3q⊂g@#p(e@3p0c@#p0c@3q(b@#q(b@3r⊂c@#pxX3phZ@#pxX3pV#nxW@3pV#npZ@3nxW@#oh\3npZ@#phZ@3oh\#npY@3nxV@#nxV@3pU@#pU@3pxW#pxD3s09@#u ~3u ~@#oP≠3oXλ#tH4@3tP4#oP∨@3s⊂)@#u@_@3uX2#u`T3uH?#pxD3qJ#pxD3oPA#uh?@3vλ\@#oP∨@3oPG#o(O3o0∧#oPG3u`T#oXλ3u ~#vλ\@3o(O#oP≠3u8,#jpb3o(O#qλw3j`o#qλk3qλw#j(p@3j`o#pHx@3j(p@#j(p@3j8c@#qλw3pHx@#j`o3jpb#jpb3qλk#vλ\@3qλk#u8,3u ~#j8c@3k#@#k#@3o0∧#o0∧3u@_@#␈wl@3∨7l@#∨1)@#␈q)@#␈wl@#∃P:3∃X9@#∪H4@3∪P4#⊗8;@3∃x:#∪_0@3⊗89@#∃h9@3∪p4@#∃`;3∃h9@#⊗89@3⊗H:@#∪λ23∪_0@#∪ 13∪_0@#∪_2@3∪λ2#∪P5@3∪H4@#∃`;3∃P:#∃x:3∃p;#∃p;3∃`;#∪p4@3∪h5@#∪h5@3∪P5@#∪P5@3∪`4#∪`43∪_2@#∪_2@3∪ 1#⊗H:@3∪ 1#⊗H:@3⊗8;@#⊃X53∂P#@#∩`0@3∪λ1@#∀@03∃87#⊃X53↔`E#∀(23∩_,#∂P 3∂P #∀P4@3∀(2#∃(0@3_C#⊃x33⊃X5#∂P 3⊃x3#⊃P'@3∩`0@#⊃x33_C#⊃P'@3∀@0#∀@03∀(2#∂P 3∃(0@#_C3↔`E#⊂_q@3∂_p@#∂_p@3∂_l@#∂_p@3∂ p#∂_l@3∂ l#⊂ q@3⊂_q@#⊂ m@3⊂ q@#∂ l3⊂ m@#∂ p3∂ l#⊂ q@3∂ p#∃λX@3∃X@#∃X@3∀pW#∀pW3∀pV@#∀pV@3∀xU@#∀xU@3∃λU@#∃λU@3∃⊂W#∃⊂W3∃_X#∃_X3∃λX@#∀λV@3∪xV@#∪xV@3∪hU#∪hU3∪hT#∪hT3∪xS@#∪xS@3∀S@#∀S@3∀⊂T@#∀⊂T@3∀⊂U@#∀⊂U@3∀λV@#⊃hR3⊃`Q@#⊃`Q@3⊃PP@#⊃PP@3⊃PO@#⊃PO@3⊃`O#⊃`O3⊃hO#⊃hO3⊃xP#⊃xP3⊃xQ#⊃xQ3⊃hR#⊂XO@3⊂HO@#⊂HO@3⊂8N#⊂8N3⊂8M#⊂8M3⊂HL@#⊂HL@3⊂XL@#⊂XL@3⊂`N#⊂`N3⊂`O#⊂`O3⊂XO@#∪S@3∩pR@#∪λQ3∪_R#∩xP@3∪λQ#∩pQ@3∩xP@#∩hP@3∩xP@#∩pR@3∩pQ@#∩XQ@3∩pQ@#∩XS3∩pR@#∪λT3∪S@#∩pT@3∪S@#∪_S3∪λT#∪λT3∪T@#∪_R3∪_S#∪_S3∪⊂S@#∪T@3∩pT@#∩pT@3∩XS#∩XS3∩XQ@#∩XQ@3∩hP@#∪⊂S@3∪T@#∪ !3∪ !#⊃h≥3⊃h≤@#∪h#3∪@"#∪0!@3∩λ≥@#∪ "3∪0!@#⊃P~@3∪x!@#∪x!@3∪x"@#⊃H≠3⊃P~@#⊃P≠3⊃P~@#⊃H≤3⊃H≠#⊃h≥@3⊃h≥#∪ "3∪ !#∪@"3∪0"@#∪0"@3∪ "#∩λ≥@3⊃x≡#⊃x≡3⊃h≥@#⊃h≥@3⊃x≥#⊃x≥3⊃H≤#⊃H≤3⊃P≠#∪x"@3⊃P≠#∪x"@3∪h##∂P≠3∂P≠#∃ ,3∃ ,#∂Pλ@3∂Pλ#∂Pλ3∃⊂~@#∂P≠3∂Pλ#∃⊂~@3∃ ,#∃ ,3∂P≠#∂λ←3∞xa@#∂λ←3∞λ]#
↑@3∞λ]# xa3
↑@#
xc3 xa#∞xa@3
xc# x`@3
↑#
↑3∞λ\@#∞λ\@3∂λ↑@#∀(↑3∀λ`@#∀(↑3∪0\#∩ ]@3∪0\#∩λ`3∩ ]@#∩xb3∩λ`#∀λ`@3∩xb#∩λ←@3∩ \@#∩ \@3∪0[@#∪0[@3∀(]#∩d@3⊃pf@#∩d@3⊃_c#⊂ d3⊃_c#⊂_f3⊂ d#⊂xg@3⊂_f#⊃pf@3⊂xg@#⊂_e@3⊂ c@#⊂ c@3⊃_b@#⊃_b@3∩c@#⊂pX3⊂`Z@#⊂pX3∂xV#∞pW@3∂xV#∞hZ@3∞pW@#∂`\3∞hZ@#⊂`Z@3∂`\#∞hY@3∞pV@#∞pV@3∂xU@#∂xU@3⊂pW#⊂`D3∪(9@#∃⊂~3∃⊂~@#∂P≠3∂Pλ#∀@43∀H4#∂P∨@3∪)@#∃(_@3∃H2#∃XT3∃@?#⊂`D3⊂`I@#⊂`D3∂PA@#∃X?@3⊗\@#∂P∨@3∂PG#∂(O3∂(∧#∂PG3∃XT#∂Pλ3∃⊂~#⊗\@3∂(O#∂P≠3∃(,#
`b3∂(O#⊂pw3
Xo#⊂pk3⊂pw#
_p@3
Xo#⊂0x@3
_p@#
_p@3
(c@#⊂pw3⊂0x@#
Xo3
`b#
`b3⊂pk#⊗\@3⊂pk#∃(,3∃⊂~#
(c@3
h#@#
h#@3∂(∧#∂(∧3∃(_@#`Wl@3↔l@#⊃)@#`Q)@#`Wl@#uH9@3uP8@#s⊂4@3s_3@#v@:@3up9#rP03v@8@#u`93s84#uX:3u`9#v@8@3vH9#r@1@3rP0#rX0@3rP0#rP23r@1@#s_53s⊂4@#uX:3uH9@#up93uh:@#uh:@3uX:#s843s05@#s05@3s_5#s_53s(3@#s(3@3rP2#rP23rX0@#vH93rX0@#vH93v@:@#pp53nx&@#r 13rH2#t@13u(6#t03@3qh.@#nx$3o##t043t03@#x⊂D3pp5#uH23x(A@#q⊂2@3pp5#o#3q⊂2@#q_*3r 1#q⊂2@3x(A@#q_*3t@1#t@13t03@#o#3uH2#x(A@3x⊂D#p`w@3oPv@#oPv@3oPr@#oPv@3oXv#oPr@3oXr#ppw@3p`w@#pps@3ppw@#oXr3pps@#oXv3oXr#ppw@3oXv#u_]3uλ]#uλ]3tx\#tx\3tx[#tx[3uλZ#uλZ3u⊂Z#u⊂Z3u [@#u [@3u \@#u \@3u_]#sx[@3sp[#sp[3s`Z#s`Z3s`Y#s`Y3shX#shX3sxX#sxX3tλY@#tλY@3tλZ@#tλZ@3sx[@#q8W@3q(W#q(W3q_V#q_V3q_U#q_U3q(T#q(T3q8T@#q8T@3qHU@#qHU@3qHV@#qHV@3q8W@#pλU@3oxU#oxU3ohT#ohT3ohS#ohS3oxR#oxR3pλR#pλR3p_S@#p_S@3p_T@#p_T@3pλU@#rXY3rHW@#rhV3rxW#rXU@3rhV#r`U@3rhV#rHV@3rXU@#rHU@3rXU@#rHW@3rHV@#r8V@3rHV@#r8X3rHW@#rhY3rXY#rPY@3rXY#rxX3rhY#rhY3r`Z#rxW3rxX#rxX3rxX@#r`Z3rPY@#rPY@3r8X#r8X3r8V@#r8V@3rHU@#rHU@3r`U@#rxX@3r`Z#s_#@3s_##q@ 3q@∨#sh$@3s0#@#s #3q`∨@#s_#@3s ##q ≤@3sp##sp#3sx$#q⊂≥3q ≤@#q ≥@3q ≤@#q⊂≡3q⊂≥#s0#@3s($#s($3s_#@#q`∨@3qP #qP 3q@ #q@ 3qP∨#qP∨3q⊂≡#q⊂≡3q ≥@#sx$3q ≥@#sx$3sh$@#o≡3o≡#u@-@3u@-@#o
@3oλ
@#oλ
@3u0~@#o≡3oλ
@#u0~@3u@-@#u@-@3o≡#nxe3oh#nxe3mhc@#lhe3mhc@#lxh3lhe#ni3lxh#oh3ni#lhd@3mhc#mhc3nxd@#nxd@3og#t8c3t(e@#t8c3s0a@#r c3s0a@#r_e@3r c#s_g3r_e@#t(e@3s_g#r_e3r b#r b3s0`@#s0`@3t8b#r(i@3r(l#r(i@3q8h@#p@i@3q8h@#p@l3p@i@#q0m3p@l#r(l3q0m#p@i3q8h#q8h3r(i#p@]@3p@`@#p@]@3o8\#n8]@3o8\#n@`@3n8]@#o@b3n@`@#p@`@3o@b#n8]3o8[@#o8[@3p@]#p@]3p@`#q0G@3sh;#u0~@3u(~@#o≡3o
#nx#3r`+@#uP_@3uh3@#upX3uX?#q0G@3q0Q#q0G@3npC#ux?@3v a#nx#3npL@#n@U@3n`ε@#npL@3upX#o
3u0~@#v a3n@U@#o≡3uH-@#jhh@3n@U@#qH⎇3jXv@#qHp@3qH⎇#j(x3jXv@#q⊂}@3j(x#j(x3j8j@#qH⎇3q⊂}@#jXv@3jhh@#jhh@3qHp@#v a3qHp@#uH-@3u0~@#j8j@3k(#k(3n`ε@#n`ε@3uP_@#␈wl@3∨7l@#∨1)@#␈q)@#␈wl@#⊗@8@3∩X0#∃P9@3∃X8@#∪_4@3∪ 3@#⊗H:@3∃x9#∃`93∪@4#∃X:3∃`9#⊗@8@3⊗P9#∩P1@3∩X0#∩`0@3∩X0#∩X23∩P1@#∪ 53∪_4@#∃X:3∃P9@#∃x93∃p:@#∃p:@3∃X:#∪@43∪85@#∪85@3∪ 5#∪ 53∪03@#∪03@3∩X2#∩X23∩`0@#⊗P93∩`0@#⊗P93⊗H:@#⊃53∞x&@#∀813∃ 6#∩(13∩P2#∀(3@3⊃p.@#∞x$3∂##∀(3@3∀(3@#_⊂D3⊃5#∃@23_0A@#⊃_2@3⊃5#∂#3⊃_2@#⊃_*3∩(1#⊃_2@3_0A@#⊃_*3∀81#∀813∀(3@#∂#3∃@2#_0A@3_⊂D#⊂Pw@3∂@v@#∂@v@3∂@r@#∂@v@3∂Hv#∂@r@3∂Hr#⊂Xw@3⊂Pw@#⊂Xs@3⊂Xw@#∂Hr3⊂Xs@#∂Hv3∂Hr#⊂Xw@3∂Hv#∃⊂]3∃λ]#∃λ]3∀x\#∀x\3∀x[#∀x[3∃Z#∃Z3∃⊂Z#∃⊂Z3∃ [@#∃ [@3∃ \@#∃ \@3∃⊂]#∪x[@3∪p[#∪p[3∪`Z#∪`Z3∪`Y#∪`Y3∪hX#∪hX3∪xX#∪xX3∀λY@#∀λY@3∀λZ@#∀λZ@3∪x[@#⊃8W@3⊃(W#⊃(W3⊃_V#⊃_V3⊃_U#⊃_U3⊃(T#⊃(T3⊃8T@#⊃8T@3⊃HU@#⊃HU@3⊃HV@#⊃HV@3⊃8W@#⊂⊂U@3⊂U#⊂U3∂pT#∂pT3∂pS#∂pS3⊂R#⊂R3⊂⊂R#⊂⊂R3⊂ S@#⊂ S@3⊂ T@#⊂ T@3⊂⊂U@#∩XY3∩HW@#∩hV3∩xW#∩XU@3∩hV#∩`U@3∩hV#∩HV@3∩XU@#∩HU@3∩XU@#∩HW@3∩HV@#∩8V@3∩HV@#∩8X3∩HW@#∩hY3∩XY#∩PY@3∩XY#∩xX3∩hY#∩hY3∩`Z#∩xW3∩xX#∩xX3∩xX@#∩`Z3∩PY@#∩PY@3∩8X#∩8X3∩8V@#∩8V@3∩HU@#∩HU@3∩`U@#∩xX@3∩`Z#∪⊂#@3∪⊂##⊃@ 3⊃@∨#∪`$@3∪(#@#∪_#3⊃X∨@#∪⊂#@3∪_##⊃_≤@3∪h##∪h#3∪p$#⊃⊂≥3⊃_≤@#⊃_≥@3⊃_≤@#⊃⊂≡3⊃⊂≥#∪(#@3∪ $#∪ $3∪⊂#@#⊃X∨@3⊃H #⊃H 3⊃@ #⊃@ 3⊃H∨#⊃H∨3⊃⊂≡#⊃⊂≡3⊃_≥@#∪p$3⊃_≥@#∪p$3∪`$@#∂≡3∂≡#∃8-@3∃8-@#∂
@3∂
@#∂
@3∃ ~@#∂≡3∂
@#∃ ~@3∃8-@#∃8-@3∂≡#∞pe3∞xh#∞pe3
hc@# `e3
hc@# ph3 `e#
xi3 ph#∞xh3
xi# `d@3
hc#
hc3∞xd@#∞xd@3∞xg#∀8c3∀ e@#∀8c3∪0a@#∩_c3∪0a@#∩⊂e@3∩_c#∪⊂g3∩⊂e@#∀ e@3∪⊂g#∩⊂e3∩_b#∩_b3∪0`@#∪0`@3∀0b#∩ i@3∩_l#∩ i@3⊃0h@#⊂0i@3⊃0h@#⊂0l3⊂0i@#⊃ m3⊂0l#∩_l3⊃ m#⊂0k@3⊂0i#⊂0i3⊃(h#⊃(h3∩ i#⊂H]@3⊂@`@#⊂H]@3∂@\#∞8]@3∂@\#∞@`@3∞8]@#∂@b3∞@`@#⊂@`@3∂@b#∞8]3∂@[@#∂@[@3⊂H]#⊃_G@3∪`;#∃ ~@3∃ ~@#∞x≡3∂
#∞x#3∩X+@#∃@_@3∃`3@#∃pX3∃P>@#⊃_G@3⊃ P@#⊃_G@3∞xC@#∃p?3⊗_a#∞x#3∞xL@#∞HU@3∞Xε@#∞xL@3∃pX#∂
3∃ ~@#⊗_a3∞HU@#∞x≡3∃8-@#
Xh@3∞HU@#⊃8⎇3
Pv@#⊃0p@3⊃8⎇#
x3
Pv@#⊂x}@3
x#
x3
(j@#⊃8⎇3⊂x}@#
Pv@3
Xh@#
Xh@3⊃0p@#⊗_a3⊃0p@#∃8-@3∃ ~@#
(j@3
h(#
h(3∞Xε@#∞Xε@3∃@_@#`Wl@3↔l@#⊃)@#`Q)@#`Wl@#r@1@3rH0#rh23rp0@#u853rp0@#u(63u04@#qp-3v(4@#v06@3uP5#u06@3u85#v(4@3v85#qh.@3qp-#qx-@3qp-#qp/3qh.@#rH23r@1@#u06@3u(6#uP53uH7#uH73u06@#rh23rH2#rH23rP0#rP03qp/#qp/3qx-@#v853qx-@#v853v06@#ox2@3n (#t_33rh1#qP/3rH0@#t(0@3t(1#t(0@3tP1@#ox2@3x ?@#u(53rh1#rH0@3q@.@#n &3n $@#t(3@3t_3#uP1@3x8<@#p⊂/3ox2@#n $@3p⊂/#pP*3qP/#p⊂/3x8<@#pP*3t(0@#t_33t_3#n $@3uP1@#x8<@3x ?@#q {@3pz@#pz@3pv@#pz@3pλz@#pv@3pλv#q({3q {@#q(w3q({#pλv3q(w#pλz@3pλv#q({3pλz@#u⊂←@3u←@#u←@3tp↑#tp↑3tp]#tp]3u\#u\3u⊂\@#u⊂\@3u ]@#u ]@3u ↑@#u ↑@3u⊂←@#s`↑3sP↑#sP↑3s@\@#s@\@3s@[@#s@[@3sPZ@#sPZ@3s`Z@#s`Z@3sp\#sp\3sp]#sp]3s`↑#pxZ@3p`Z@#p`Z@3pPY#pPY3pPX#pPX3p`W#p`W3ppW@#ppW@3qλX@#qλX@3qλY@#qλY@3pxZ@#o0Y3o Y#o Y3o⊂W@#o⊂W@3o⊂V@#o⊂V@3o U@#o U@3o0U@#o0U@3oHW#oHW3oHX#oHX3o0Y#r([@3r_Z@#r8X@3rHZ#r(X@3r8X@#r0X@3r8X@#r_Y@3r(X@#r X3r(X@#r_Z@3r_Y@#rλY@3r_Y@#rλ[3r_Z@#r8\3r([@#r \@3r([@#rH[3r8\#r8\3r8\@#rHZ3rH[#rH[3rH[@#r8\@3r \@#r \@3rλ[#rλ[3rλY@#rλY@3r X#r X3r0X@#rH[@3r8\@#rx#@3rx"@#qλ 3qλ∨#sP$3s⊂##s"@3q ∨@#rx#@3s"@#pX≤@3sX"#sX"3sX##pP≥@3pX≤@#pX≥@3pX≤@#pP≡@3pP≥@#s⊂#3sλ#@#sλ#@3rx#@#q ∨@3q_ #q_ 3qλ #qλ 3q⊂∨@#q⊂∨@3pP≡@#pP≡@3pX≥@#sX#3pX≥@#sX#3sP$#n(∨3n(∨#uH,@3uH,@#n( 3n0
@#n0
@3u0→#n(∨3n0
@#u0→3uH,@#uH,@3n(∨#nhi3ol#nhi3mHh#lHi@3mHh#lhl@3lHi@#nm@3lhl@#ol3nm@#lHi3mHg@#mHg@3nhh@#nhh@3ok#t8e@3t8h@#t8e@3s d@#r⊂f3s d@#r_i3r⊂f#s(j3r_i#t8h@3s(j#r⊂e@3s c@#s c@3t8e#r@m3rHo#r@m3q@l#pPm@3q@l#pXo@3pPm@#qXp@3pXo@#rHo3qXp@#pPm3q@k@#q@k@3r@l@#r@l@3rHn@#pλa@3p d@#pλa@3np`#mpb3np`#n⊂e3mpb#o f3n⊂e#p d@3o f#mpa@3np←@#np←@3pλ`@#pλ`@3p c@#u8_@3u0→#n ∨3n(
#n $@3r(+@#uX⊗@3ux2@#uxZ3uX;@#qhI3t09@#qhI3qpU#qhI3n⊂D#v<3v(c#n $@3nλP#mXY@3nε@#nλP3uxZ#n(
3u8_@#v(c3mXY@#n ∨3uH,@#jhm@3mXY@#r⊃↓3jX|#rλt3r⊃↓#j0⎇@3jX|#qYα@3j0⎇@#j0⎇@3j@o@#r⊃↓3qYα@#jX|3jhm@#jhm@3rλt#v(c3rλt#uH,@3u8_@#j@o@3kλ+#kλ+3nε@#nε@3uX⊗@#␈wl@3∨7l@#∨1)@#␈q)@#␈wl@#∩P1@3∩X0#∩p23∩x0@#∃H53∩x0@#⊗86@3⊗@5#∃063∃84@#∩-3⊗04@#⊗86@3∃`5#∃@6@3∃H5#⊗04@3⊗@5#⊃x.@3∩-#∩λ-@3∩-#∩/3⊃x.@#∩X23∩P1@#∃@6@3∃06#∃`53∃X7#∃X73∃@6@#∩p23∩X2#∩X23∩`0#∩`03∩/#∩/3∩λ-@#⊗@53∩λ-@#⊂⊂2@3∞ (#∀_33∩x1#⊃X/3∩X0@#∀_33∀ 2@#∀(0@3∀H1@#∃04@3∃85#⊂⊂2@3_(?@#∃H1@3⊗04@#∃853∩x1#∩X0@3⊃P.@#∞ %@3∞($@#∀(13∀(0@#∀ 3@3∀_3#⊗@53_@<@#⊂ /3⊂⊂2@#∞($@3⊂ /#⊂P*3⊃X/#⊂ /3_@<@#⊂P*3∀(0@#∞($@3∃H1@#_@<@3_(?@#⊃⊂{@3∂pz@#∂pz@3∂pv@#∂pz@3∂xz@#∂pv@3∂xv#⊃_{3⊃⊂{@#⊃_w3⊃_{#∂xv3⊃_w#∂xz@3∂xv#⊃_{3∂xz@#∃_←@3∃λ←@#∃λ←@3∀p↑#∀p↑3∀p]#∀p]3∃\#∃\3∃⊂\@#∃⊂\@3∃ ]@#∃ ]@3∃ ↑@#∃ ↑@3∃_←@#∪h↑3∪X↑#∪X↑3∪H\@#∪H\@3∪H[@#∪H[@3∪XZ@#∪XZ@3∪hZ@#∪hZ@3∪x\#∪x\3∪x]#∪x]3∪h↑#⊃Z@3⊂hZ@#⊂hZ@3⊂XY#⊂XY3⊂XX#⊂XX3⊂hW#⊂hW3⊂xW@#⊂xW@3⊃⊂X@#⊃⊂X@3⊃⊂Y@#⊃⊂Y@3⊃Z@#∂@Y3∂(Y#∂(Y3∂_W@#∂_W@3∂_V@#∂_V@3∂(U@#∂(U@3∂@U@#∂@U@3∂PW#∂PW3∂PX#∂PX3∂@Y#∩0[@3∩ Z@#∩@X@3∩PZ#∩0X@3∩@X@#∩8X@3∩@X@#∩ Y@3∩0X@#∩ X3∩0X@#∩ Z@3∩ Y@#∩⊂Y@3∩ Y@#∩⊂[3∩ Z@#∩@\3∩0[@#∩(\@3∩0[@#∩P[3∩@\#∩@\3∩8\@#∩PZ3∩P[#∩P[3∩P[@#∩8\@3∩(\@#∩(\@3∩⊂[#∩⊂[3∩⊂Y@#∩⊂Y@3∩ X#∩ X3∩8X@#∩P[@3∩8\@#∩p#@3∩p"@#⊃λ 3⊃λ∨#∪H$3∪⊂##∪"@3⊃ ∨@#∩p#@3∪"@#⊂`≤@3∪X"#∪X"3∪X##⊂P≥@3⊂`≤@#⊂`≥@3⊂`≤@#⊂P≡@3⊂P≥@#∪⊂#3∪#@#∪#@3∩p#@#⊃ ∨@3⊃_ #⊃_ 3⊃λ #⊃λ 3⊃⊂∨@#⊃⊂∨@3⊂P≡@#⊂P≡@3⊂`≥@#∪X#3⊂`≥@#∪X#3∪H$#∞(∨3∞(∨#∃@,@3∃@,@#∞( 3∞0
@#∞0
@3∃(→#∞(∨3∞0
@#∃(→3∃@,@#∃@,@3∞(∨#∞`i3∞xl#∞`i3
Hh# Hi@3
Hh# hl@3 Hi@#
xm@3 hl@#∞xl3
xm@# Hi3
Hg@#
Hg@3∞`h@#∞`h@3∞xk#∀8e@3∀8h@#∀8e@3∪ d@#∩⊂f3∪ d@#∩_i3∩⊂f#∪(j3∩_i#∀8h@3∪(j#∩⊂e@3∪ c@#∪ c@3∀8e#∩8m3∩@o#∩8m3⊃@l#⊂Hm@3⊃@l#⊂Po@3⊂Hm@#⊃Pp@3⊂Po@#∩@o3⊃Pp@#⊂Hm3⊃@k@#⊃@k@3∩8l@#∩8l@3∩@n@#⊂⊂a@3⊂ d@#⊂⊂a@3∞x`#
xb3∞x`#∞⊂e3
xb#∂ f3∞⊂e#⊂ d@3∂ f#
xa@3∞x←@#∞x←@3⊂⊂`@#⊂⊂`@3⊂ c@#∃(_@3∃(→#∞ ∨3∞(
#∞ $@3∩ +@#∃P⊗@3∃p2@#∃xZ3∃X;@#⊃XI3∀(9#⊃XI3⊃XT@#⊃XI3∞_D#∃x;@3⊗0c#∞ $@3∞_P#
`Y@3∞ε@#∞_P3∃xZ#∞(
3∃(_@#⊗0c3
`Y@#∞ ∨3∃H,@#
Xm@3
`Y@#∩↓↓3
P|#⊃xt3∩↓↓#
(⎇@3
P|#⊃Iα@3
(⎇@#
(⎇@3
8o@#∩↓↓3⊃Iα@#
P|3
Xm@#
Xm@3⊃xt#⊗0c3⊃xt#∃H,@3∃(_@#
8o@3
x+#
x+3∞ε@#∞ε@3∃P⊗@#`Wl@3↔l@#⊃)@#`Q)@#`Wl@#r.@3r-#u⊂2@3u_1#u0@3r-#v23vλ0#th23tp0@#qX.3q`,@#pp)@3ux0#v23u_1#tx2@3u0@#ux03vλ0#pp+@3pp)@#px)@3pp)@#px+@3pp+@#q`.@3qX.#tx2@3th2#u⊂2@3tx2@#r.@3q`.@#q`.@3qh,@#qh,@3px+@#px+@3px)@#vλ03px)@#n`/3m8)@#ph,@3qX.#t⊂/@3tp1@#t13tλ/@#ox*3pp+@#m@&@3pp+#tp23r.#m8)3m@&@#x_:@3n`/#v1@3x(7#u⊂23u_2#np+@3n`/#m@&@3np+@#u⊂23u_2#ox*3ph,@#np+@3x(7#x(73x_:@#qX␈@3p0␈#p0␈3p0z@#p0␈3p8}@#p0z@3p0z#q`␈@3qX␈@#q`{3q`␈@#p0z3q`{#p8}@3p0z#q`␈@3p8}@#uλb3tpb#tpb3t`a#t`a3t`←@#t`←@3tp↑@#tp↑@3u←#u←3u_`#u_`3u_a#u_a3uλb#s@a3s0a#s0a3s_←@#s_←@3s_↑@#s_↑@3s0]@#s0]@3s@]@#s@]@3sP←#sP←3sP`#sP`3s@a#p(↑@3p_↑@#p_↑@3p]#p]3p\#p\3p_Z@#p_Z@3p([#p([3p@\#p@\3p@]@#p@]@3p(↑@#nX]3n@]#n@]3n0[@#n0[@3n0Z@#n0Z@3n@Y@#n@Y@3nXY@#nXY@3nh[#nh[3nh\#nh\3nX]#qp←3qX↑#r[@3r_]#qp[@3r[@#r[@3r[@#qX\@3qp[@#qh[@3qp[@#qX↑3qX\@#qH\@3qX\@#qH↑@3qX↑#r←3qp←#qh`3qp←#r_↑3r←#r←3r`#r_]3r_↑#r_↑3r_↑@#r_]3r_]#r`3qh`#qh`3qH↑@#qH↑@3qH\@#qH\@3qh[@#qh[@3r[@#r_]3r_↑@#r_↑@3r`#rP#3rP"@#pH @3pH∨@#s0#@3rh"@#rX"@3p` #rP#3rX"@#p⊂≥3s8!@#s8!@3s8"@#pλ≡3p⊂≥#p⊂≡3p⊂≥#pλ∨3pλ≡#rh"@3r`#@#r`#@3rP##p` 3pX @#pX @3pH @#pH @3pP∨@#pP∨@3pλ∨#pλ∨3p⊂≡#s8"@3p⊂≡#s8"@3s0#@#m@ @3m@!#u@,3u@,#mH 3mP @#mP @3u0↔#m@ @3mP @#u0↔3u@,#u@,3m@ @#nPm@3nxp#nPm@3m(l@#l0n@3m(l@#l`q3l0n@#nr3l`q#nxp3nr#l0n3m(l#m(l3nPm#nPm3nxo@#t0i3tHl#t0i3sλh#qxj3sλh#r_m3qxj#s8m@3r_m#tHl3s8m@#qxi3sλg#sλg3t0h#t0h3t@k#rXp@3rps#rXp@3qPp#pXq@3qPp#pxs@3pXq@#rt3pxs@#rps3rt#pXq3qPo#qPo3rXp#rXp3rpr#oHe@3oph@#oHe@3n(d@#m0f@3n(d@#mXi@3m0f@#nxj@3mXi@#oph@3nxj@#m0f3n(d#n(d3oHe#oHe3oph#u0⊗@3u0↔#m@ @3mH #m8&3pp*@#uX∀3ux0#r(J@3tp6@#ux\3uX7@#r(J@3r0X@#r(J@3m(E@#v83v0f#m8&3m T@#lh↑@3m π@#m T@3ux\#mH 3u0⊗@#v0f3lh↑@#m@ @3uH,#jhr@3lh↑@#rQ¬@3jY↓@#rPw@3rQ¬@#jAβ3jY↓@#r)ε@3jAβ#jAβ3jPt@#rQ¬@3r)ε@#jY↓@3jhr@#jhr@3rPw@#v0f3rPw@#uH,3u0⊗@#jPt@3k_-@#k_-@3m π@#m π@3uX∀#␈wl@3∨7l@#∨1)@#␈q)@#␈wl@#∩⊂.@3∩_-#∃23∃0@#∃ 2@3∃(1#∃⊂0@3∩_-#∃(13⊗⊂2#⊃p.3⊃p,@#⊗_03⊗⊂2#⊃λ)@3⊗λ0#∃λ2@3∃⊂0@#⊗λ03⊗_0#⊃λ+@3⊃λ)@#⊃⊂)@3⊃λ)@#⊃⊂+@3⊃λ+@#⊃x.@3⊃p.#∃λ2@3∃2#∃ 2@3∃λ2@#∩⊂.@3⊃x.@#⊃x.@3∩,@#∩,@3⊃⊂+@#⊃⊂+@3⊃⊂)@#⊗_03⊃⊂)@#∂/3
@)@#⊂x,@3⊃p.#⊂*3⊃p,@#∃(23∃(2#∩_.@3∃2#
H&@3⊃λ+#∀⊂/@3∀λ0@#
@(@3
H&@#∃(23∃(2#∃1@3∀⊂/@#⊗1@3_@7#_(:@3∂/#∂⊂+@3∂/#
H&@3∂⊂+@#⊂*3⊂x,@#∂⊂+@3_@7#∩_-3∀⊂/@#_@73_(:@#⊃P␈@3⊂ ␈#⊂ ␈3⊂ z@#⊂ ␈3⊂(}@#⊂ z@3⊂(z#⊃X␈@3⊃P␈@#⊃X{3⊃X␈@#⊂(z3⊃X{#⊂(}@3⊂(z#⊃X␈@3⊂(}@#∃⊂b3∃b#∃b3∀ha#∀ha3∀h←@#∀h←@3∀x↑@#∀x↑@3∃λ←#∃λ←3∃ `#∃ `3∃ a#∃ a3∃⊂b#∪Pa3∪8a#∪8a3∪(←@#∪(←@3∪(↑@#∪(↑@3∪8]@#∪8]@3∪H]@#∪H]@3∪`←#∪`←3∪``#∪``3∪Pa#⊂8↑@3⊂(↑@#⊂(↑@3⊂⊂]#⊂⊂]3⊂⊂\#⊂⊂\3⊂(Z@#⊂(Z@3⊂8[#⊂8[3⊂H\#⊂H\3⊂H]@#⊂H]@3⊂8↑@#∞h]3∞P]#∞P]3∞@[@#∞@[@3∞@Z@#∞@Z@3∞PY@#∞PY@3∞hY@#∞hY@3∞x[#∞x[3∞x\#∞x\3∞h]#∩←3⊃h↑#∩⊂[@3∩ ]#⊃x[@3∩⊂[@#∩λ[@3∩⊂[@#⊃h\@3⊃x[@#⊃p[@3⊃x[@#⊃h↑3⊃h\@#⊃X\@3⊃h\@#⊃X↑@3⊃h↑#∩⊂←3∩←#⊃p`3∩←#∩ ↑3∩⊂←#∩⊂←3∩λ`#∩ ]3∩ ↑#∩ ↑3∩(↑@#∩ ]3∩ ]#∩λ`3⊃p`#⊃p`3⊃X↑@#⊃X↑@3⊃X\@#⊃X\@3⊃p[@#⊃p[@3∩λ[@#∩ ]3∩(↑@#∩(↑@3∩λ`#∩P#3∩P"#⊂P @3⊂H∨@#∪0#@3∩h"@#∩X"@3⊂h #∩P#3∩X"@#⊂_≥3∪8!@#∪8!@3∪8"@#⊂⊂≡3⊂_≥#⊂_≡3⊂_≥#⊂⊂∨3⊂⊂≡#∩h"@3∩`#@#∩`#@3∩P##⊂h 3⊂` @#⊂` @3⊂P @#⊂P @3⊂X∨@#⊂X∨@3⊂⊂∨#⊂⊂∨3⊂_≡#∪8"@3⊂_≡#∪8"@3∪0#@#
H @3
H!#∃@,3∃@,#
P 3
P @#
P @3∃(↔#
H @3
P @#∃(↔3∃@,#∃@,3
H @#∞Pm@3∞xp#∞Pm@3
(l@# 0n@3
(l@# `q3 0n@#∞r3 `q#∞xp3∞r# 0n3
(l#
(l3∞Pm#∞Pm3∞xo@#∀8i3∀Hl#∀8i3∪⊂h#∩j3∪⊂h#∩_m3∩j#∪8m@3∩_m#∀Hl3∪8m@#∩i3∪⊂g#∪⊂g3∀8h#∀8h3∀Hk#∩Xp@3∩hs#∩Xp@3⊃Pp#⊂Xq@3⊃Pp#⊂ps@3⊂Xq@#⊃xt3⊂ps@#∩hs3⊃xt#⊂Xq3⊃Po#⊃Po3∩Xp#∩Xp3∩hr#∂Xe@3∂xh@#∂Xe@3∞0d@#
8f@3∞0d@#
`i@3
8f@#∂j@3
`i@#∂xh@3∂j@#
8f3∞0d#∞0d3∂Xe#∂Xe3∂xh#∃0⊗@3∃(↔#
H @3
P #
@&3⊃λ+#∃P∀3∃x/@#∩_J@3∀p6@#⊗\3∃X7@#∩_J@3∩ X@#∩_J@3
8E@#⊗7@3⊗8f#
@&3
0T@# x↑@3
π@#
0T@3⊗\#
P 3∃0⊗@#⊗8f3 x↑@#
H @3∃H,#
`r@3 x↑@#∩I¬@3
Y↓@#∩@w@3∩I¬@#
9β3
Y↓@#∩→ε@3
9β#
9β3
Ht@#∩I¬@3∩→ε@#
Y↓@3
`r@#
`r@3∩@w@#⊗8f3∩@w@#∃H,3∃0⊗@#
Ht@3 λ-@# λ-@3
π@#
π@3∃P∀#`Wl@3↔l@#⊃)@#`Q)@#`Wl@#q'@3px)#t@*@3t8,#u8)@3u0+#u8)@3oh$@#t_*3px'@#u(+3t@*@#t *3q'@#t@*@3u0+#t ,3t *#o`&@3o`$@#o`$@3oh$@#pX'3o`&@#o`&3o`&@#pX)3pX'#pX'3p`'#t_,3t_*#t_*3t *#u0+3u(+#pX)3p`'#p`'3o`&#o`&3oh$@#u823wp3#o`,@3tP0@#lP*@3lX'@#sX03sP0@#wp33m0*#tP0@3sP0@#m8&3m0*#lX'@3m8&#sP0@3o_,@#m8&3x/#o`,@3o_,@#u823lP*@#x/3wp3#m0*3lP*@#r→β3paα@#paα@3p`⎇@#paα@3piα#p`⎇@3ph⎇@#r!α@3r→β#r }3r!α@#ph⎇@3r }#piα3ph⎇@#r!α@3piα#tpd3tXc@#tXc@3tHb@#tHb@3t@a#t@a3tX`#tX`3th`#th`3ua@#ua@3ub@#ub@3tpd#s_c3sc#sc3rha@#rha@3rh`@#rh`@3s←#s←3s⊂←#s⊂←3s(`@#s(`@3s(b#s(b3s_c#oXa3o@a#o@a3o0←@#o0←@3o0↑@#o0↑@3o@]#o@]3oX]@#oX]@3op↑@#op↑@3op`#op`3oXa#mp`3mX`#mX`3mH↑@#mH↑@3mH]@#mH]@3m`\#m`\3mp\@#mp\@3nλ]@#nλ]@3nλ←#nλ←3mp`#q(a@3q_`#q@]@3qX←#q(]@3q@]@#q@]@3q@]@#q_←3q(]@#q ]@3q(]@#q_`3q_←#qλ←3q_←#qλ`@3q_`#q@a@3q(a@#q b@3q(a@#qX`@3q@a@#q@a@3q@b@#qX←3qX`@#qX`@3qXa#qX←3qX←@#q@b@3q b@#q b@3qλ`@#qλ`@3qλ←#qλ←3q ]@#q ]@3q@]@#q@]@3qX←@#qX←@3qXa#qXa3q@b@#r !@3r_!#p∨@3p≡@#s!@3r8!#r !3p_∨#r !@3r !#o@≤@3sλ∨@#sλ∨@3sλ @#o8≥3o@≤@#o@≥@3o@≤@#o8≡3o8≥#r8!3r0"#r0"3r !@#p_∨3p⊂∨@#p⊂∨@3p∨@#p∨@3pλ∨#pλ∨3o8≡#o8≡3o@≥@#sλ @3o@≥@#sλ @3s!@#l`!@3l`!@#u8)@3u8)@#u8)@3u8)@#lh @3lp #lp 3u ∪@#l`!@3lp #u ∪@3u8)@#pX%3l`!@#lX!@3lh @#n8q3nxs@#n8q3mλp@#l_r@3mλp@#l`u3l_r@#nλu@3l`u#nxs@3nλu@#l_q@3mλo@#mλo@3n@p#n@p3nxs#t(k3tHn#t(k3rhj#q`l@3rhj#r⊂o@3q`l@#s@p3r⊂o@#tHn3s@p#q`l3rhi@#rhi@3t(j#t(j3tHm#rps3s_u@#rps3qXr@#pht@3qXr@#q_v@3pht@#r(w3q_v@#s_u@3r(w#phs@3qXr#qXr3rpr@#rpr@3s_t@#oλh@3o@k@#oλh@3mPh#lhj@3mPh#m(m3lhj@#nPm@3m(m#o@k@3nPm@#lhi@3mPg@#mPg@3oλh#oλh3o@k#u(∪3u ∪@#lX!@3p8%#lP'3lh'#up]3uH2#rhK3u 2#uP⊂@3up-@#rhK3rp[#rhK3l8F@#lh
@3lX!@#ux23v0g@#lP'3l0W@#kpb3l8π#l0W@3up]#lh
@3u(∪#v0g@3kpb#u8)@3u@)@#jxv@3kpb#s!λ@3jiε#s_z3s!λ@#jYπ@3jiε#ry
3jYπ@#jYπ@3jhx@#s!λ@3ry
#jiε3jxv@#jxv@3s_z#v0g@3s_z#u@)@3u(∪#jhx@3k0/@#k0/@3l8π#l8π3uP⊂@#␈wl@3∨7l@#∨1)@#␈q)@#␈wl@#⊂x'3⊂x)#⊃_'@3⊃_)#∀@*3∀8,#∀X*@3∀X,#⊂λ$@3⊂$@#∃@+3∃P+#∃P)@3⊂λ$@#∀0*3⊃_'@#∃@+3∀X*@#⊂p)3⊂x'#∀0,3∀0*#∃P)@3∃P+#∀@*3⊃_'@#∀X*@3∃P+#∂x&@3⊂$@#⊂x'3∂x&@#⊂&3∂x&@#⊂x'3⊂x'#∀0*3∀@*#⊂x'3⊂&#⊂&3⊂λ$@#∃@23_λ3#∪`0@3∪`/@#∀h0@3∂x,@# `*@3 h'@#_λ33
P*#∀h0@3∪`0@#
X&3
P*# h'@3
X&#∪`0@3∂ ,@#
X&3__/#∂x,@3∂ ,@#∃@23 `*@#__/3_λ3#
P*3 `*@#∩→β3⊂Yα@#⊂Yα@3⊂X⎇@#⊂Yα@3⊂aα#⊂X⎇@3⊂`⎇@#∩→α@3∩→β#∩_}3∩→α@#⊂`⎇@3∩_}#⊂aα3⊂`⎇@#∩→α@3⊂aα#∃d3∀hc@#∀hc@3∀Xb@#∀Xb@3∀Xa#∀Xa3∀h`#∀h`3∀x`#∀x`3∃⊂a@#∃⊂a@3∃⊂b@#∃⊂b@3∃d#∪(c3∪⊂c#∪⊂c3∪a@#∪a@3∪`@#∪`@3∪⊂←#∪⊂←3∪(←#∪(←3∪8`@#∪8`@3∪8b#∪8b3∪(c#∂ha3∂Xa#∂Xa3∂@←@#∂@←@3∂@↑@#∂@↑@3∂X]#∂X]3∂h]@#∂h]@3⊂↑@#⊂↑@3⊂`#⊂`3∂ha#∞λ`3
p`#
p`3
X↑@#
X↑@3
`]@#
`]@3
p\#
p\3∞λ\@#∞λ\@3∞ ]@#∞ ]@3∞ ←#∞ ←3∞λ`#⊃@a@3⊃(`#⊃P]@3⊃h←#⊃@]@3⊃P]@#⊃P]@3⊃P]@#⊃(←3⊃@]@#⊃8]@3⊃@]@#⊃(`3⊃(←#⊃_←3⊃(←#⊃_`@3⊃(`#⊃Pa@3⊃@a@#⊃8b@3⊃@a@#⊃h`@3⊃Pa@#⊃Pa@3⊃Pb@#⊃h←3⊃h`@#⊃h`@3⊃pa#⊃h←3⊃p←@#⊃Pb@3⊃8b@#⊃8b@3⊃_`@#⊃_`@3⊃_←#⊃_←3⊃8]@#⊃8]@3⊃P]@#⊃P]@3⊃p←@#⊃p←@3⊃pa#⊃pa3⊃Pb@#∩ !@3∩ !#⊂λ∨@3⊂λ≡@#∪λ!@3∩@!#∩(!3⊂ ∨#∩ !@3∩(!#∂H≤@3∪⊂∨@#∪⊂∨@3∪⊂ @#∂@≥3∂H≤@#∂H≥@3∂H≤@#∂@≡3∂@≥#∩@!3∩8"#∩8"3∩ !@#⊂ ∨3⊂_∨@#⊂_∨@3⊂λ∨@#⊂λ∨@3⊂⊂∨#⊂⊂∨3∂@≡#∂@≡3∂H≥@#∪⊂ @3∂H≥@#∪⊂ @3∪λ!@# h!@3 h!@#∃ ∪@3∃@)#⊂$@3 h!@# p @3 x # x 3∃ ∪@# h!@3 x #∞@q3∞xs@#∞@q3
⊂p@# r@3
⊂p@# `u3 r@#∞λu@3 `u#∞xs@3∞λu@# q@3
⊂o@#
⊂o@3∞@p#∞@p3∞xs#∀0k3∀Xn#∀0k3∩xj#⊃hl@3∩xj#∩_o@3⊃hl@#∪Hp3∩_o@#∀Xn3∪Hp#⊃hl3∩xi@#∩xi@3∀0j#∀0j3∀Pm#∩ps3∪_u@#∩ps3⊃Xr@#⊂ht@3⊃Xr@#⊃_v@3⊂ht@#∩(w3⊃_v@#∪_u@3∩(w#⊂hs@3⊃Xr#⊃Xr3∩pr@#∩pr@3∪_t@#∂_h@3∂Pk@#∂_h@3
hh# pj@3
hh#
0m3 pj@#∞Xm@3
0m#∂Pk@3∞Xm@# pi@3
hg@#
hg@3∂_h#∂_h3∂Pk# `!@3 p
@#∃(∪3∃ ∪@# `!@3⊂$@#∩XK3∃(2# `'3 x'#⊗]3∃P2#∃P⊂@3∃x-#∩XK3∩`[#∩XK3 PF@#∃x23⊗@g@# `'3 @W@# λb3 @π# @W@3⊗]# p
@3∃(∪#⊗@g@3 λb#
pv@3 λb#∪→λ@3
iε#∪⊂z3∪→λ@#
Yπ@3
iε#∩q
3
Yπ@#
Yπ@3
hx@#∪→λ@3∩q
#
iε3
pv@#
pv@3∪⊂z#⊗@g@3∪⊂z#∃@)3∃(∪#
hx@3 /@# /@3 @π# @π3∃P⊂@#`Wl@3↔l@#⊃)@#`Q)@#`Wl@#p$@3p&#o`$@3o`%@#sP&@3sP(#sp'3sp(#sH'3p%#th'@3sp'#o`%@3o`$@#sH(3sH'#nX"3n`!@#tp'@3th'@#n`!@3tp%@#tp%@3tp'@#sP&@3p$@#sp'3tp'@#nX$3nX"#o`$@3nX$#n`$3nX$#o`$@3o`$@#sH'3sP&@#o`$@3n`$#n`$3n`!@#s003s0.#wH.@3u82#t_.@3np+@#l-3l)@#wH.@3lλ(#t_.@3s00#l⊂#@3lλ(#l)@3l⊂#@#s003nH-@#l⊂#@3wX*@#np+@3nH-@#u823l-#wX*@3wH.@#lλ(3l-#rQπ@3q⊃π@#q⊃π@3q α@#q⊃π@3q⊃π#q α@3q⊃α#rYπ@3rQπ@#rYα@3rYπ@#q⊃α3rYα@#q⊃π3q⊃α#rYπ@3q⊃π#t`h3tHg@#tHg@3t0f@#t0f@3t0e#t0e3tHd#tHd3tXd#tXd3tpe#tpe3tpf@#tpf@3t`h#rpg3r`g#r`g3rHe@#rHe@3rHd@#rHd@3rXc#rXc3rpc#rpc3sλd@#sλd@3sλf#sλf3rpg#o⊂f3nxf#nxf3n`d@#n`d@3n`c#n`c3nxb#nxb3o⊂b#o⊂b3o(c@#o(c@3o(d@#o(d@3o⊂f#m_e@3me#me3lpd#lpd3lpb@#lpb@3mλa#mλa3m a@#m a@3m0b@#m0b@3m0d#m0d3m_e@#ppf3pXd@#qλb3q c@#ppb3qλb#qλa@3qλb#pXc3ppb#ppa@3ppb#pXd@3pXc#pPc@3pXc#pPe3pXd@#qλf3ppf#ppg3ppf#q e3qλf#qλf3qλg#q c@3q e#q e3q(e@#q c@3q(c@#qλg3ppg#ppg3pPe#pPe3pPc@#pPc@3ppa@#ppa@3qλa@#qλa@3q(c@#q(c@3q(e@#q(e@3qλg#qx"3qx!#o@ @3o@∨@#r`!@3r⊂!#qx!3oX∨@#qx"3qx!#nx≥3r`∨@#r`∨@3rh @#np≡3nx≥#nx≡@3nx≥#np∨3np≡#r⊂!3rλ"#rλ"3qx"#oX∨@3oX @#oX @3o@ @#o@ @3oH∨@#oH∨@3np∨#np∨3nx≡@#rh @3nx≡@#rh @3r`!@#lλ#@3lλ#@#lλ#@3o`%@#p&3p(&#u_∩3u0)#l_
@3l_ #lλ#@3l_
@#l_ 3u_∩#lλ#@3l_ #n(v3nxx@#n(v3lhu@#lλx3lhu@#lXz3lλx#nλz@3lXz#nxx@3nλz@#lλw3lhu#lhu3n(u@#n(u@3nxx#t o@3tPr#t o@3rPo#qHq@3rPo#rλt3qHq@#sHt@3rλt#tPr3sHt@#qHp@3rPn#rPn3t n@#t n@3tPq@#sλw@3s8z#sλw@3q`w@#pxy3q`w@#q0{3pxy#rH{@3q0{#s8z3rH{@#pxx@3q`v@#q`v@3sλw#sλw3s8y#nHn3o_p@#nHn3m⊂m@#l(p3m⊂m@#lxr@3l(p#n(s3lxr@#o_p@3n(s#l(o3m⊂l@#m⊂l@3nHm#nHm3o_p#o`%@3l##kx)3l)@#u ⊃@3u_∩#uH∞@3uh)#u ⊃@3u8)#s_M3u 2#up`3u@2#s_M3s(←#s_M3k`I#l_ @3l##up1@3v0k@#kx)3kP\#kλg@3khλ#kP\3up`#l_ @3u ⊃@#v0k@3kλg@#jx|3kλg@#sa
@3ji #sX}3sa
@#ji
@3ji #sA∂3ji
@#sa
@3sA∂#ji 3jx|#jx|3sX}#v0k@3sX}#khλ3uH∞@#␈wl@3∨7l@#∨1)@#␈q)@#␈wl@#⊂λ$@3⊂λ%@#⊂($@3⊂(&#∪x&@3∪p(#∀_'3∀⊂(#∪h'3⊂(%#∃λ'@3∀_'#⊂%@3⊂λ$@#∪h(3∪h'#∂"3∂λ!@#∃_'@3∃λ'@#∂λ!@3∃_%@#∃_%@3∃_'@#∪x&@3⊂($@#∀_'3∃_'@#∂$3∂"#⊂λ$@3∂$#∂$3∂$#⊂λ$@3⊂λ$@#∪h'3∪x&@#⊂λ$@3∂$#∂$3∂λ!@#∪@03∪H.#↔p.@3∃@2#∀8.@3∂⊂+@# ⊂-3 ⊂)@#↔p.@3 8(#∀8.@3∪@0# 8#@3 8(# ⊂)@3 8#@#∪@03∞X-@# 8#@3_*@#∂⊂+@3∞X-@#∃@23 ⊂-#_*@3↔p.@# 8(3 ⊂-#∩Qπ@3⊃ π@#⊃ π@3⊃ α@#⊃ π@3⊃⊃π#⊃ α@3⊃⊃α#∩Yπ@3∩Qπ@#∩Qα@3∩Yπ@#⊃⊃α3∩Qα@#⊃⊃π3⊃⊃α#∩Yπ@3⊃⊃π#∀xh3∀`g@#∀`g@3∀Hf@#∀Hf@3∀He#∀He3∀`d#∀`d3∀pd#∀pd3∃λe#∃λe3∃λf@#∃λf@3∀xh#∪⊂g3∩xg#∩xg3∩`e@#∩`e@3∩`d@#∩`d@3∩pc#∩pc3∪λc#∪λc3∪ d@#∪ d@3∪ f#∪ f3∪⊂g#∂(f3∂_f#∂_f3∂d@#∂d@3∂c#∂c3∂_b#∂_b3∂0b#∂0b3∂@c@#∂@c@3∂@d@#∂@d@3∂(f#
8e@3
e#
e3
λd#
λd3
λb@#
λb@3
a#
a3
8a@#
8a@3
Pb@#
Pb@3
Pd#
Pd3
8e@#⊃⊂f3⊂xd@#⊃ b3⊃8c@#⊃λb3⊃ b#⊃ a@3⊃ b#⊂xc3⊃λb#⊃λa@3⊃λb#⊂xd@3⊂xc#⊂hc@3⊂xc#⊂he3⊂xd@#⊃ f3⊃⊂f#⊃λg3⊃⊂f#⊃8e3⊃ f#⊃ f3⊃(g#⊃8c@3⊃8e#⊃8e3⊃@e@#⊃8c@3⊃@c@#⊃(g3⊃λg#⊃λg3⊂he#⊂he3⊂hc@#⊂hc@3⊃λa@#⊃λa@3⊃ a@#⊃ a@3⊃@c@#⊃@c@3⊃@e@#⊃@e@3⊃(g#∩"3∩!#∂P @3∂P∨@#∩p!@3∩_!#∩λ!3∂h∨@#∩"3∩λ!#∂λ≥3∩p∨@#∩p∨@3∩p @#∂≡3∂λ≥#∂λ≡@3∂λ≥#∂∨3∂≡#∩_!3∩_"#∩_"3∩"#∂h∨@3∂h @#∂h @3∂P @#∂P @3∂X∨@#∂X∨@3∂∨#∂∨3∂λ≡@#∩p @3∂λ≡@#∩p @3∩p!@# _#@3 _#@# _#@3∞H%#∃ ∩3∃@)# _#@3 (
@# (
@3 ( # ( 3∃ ∩# _#@3 ( #∞0v3∞xx@#∞0v3 xu@# ⊂x3 xu@# `z3 ⊂x#∞⊂z@3 `z#∞xx@3∞⊂z@# ⊂w3 xu# xu3∞0u@#∞0u@3∞xx#∀0o@3∀`r#∀0o@3∩ho#⊃Xq@3∩ho#∩_t3⊃Xq@#∪Xt@3∩_t#∀`r3∪Xt@#⊃Xp@3∩hn#∩hn3∀0n@#∀0n@3∀`q@#∪⊂w@3∪8z#∪⊂w@3⊃hw@#⊃y3⊃hw@#⊃0{3⊃y#∩P{@3⊃0{#∪8z3∩P{@#⊃x@3⊃hv@#⊃hv@3∪⊂w#∪⊂w3∪8y#∞`n3∂(p@#∞`n3
(m@# 8p3
(m@#
λr@3 8p#∞8s3
λr@#∂(p@3∞8s# 8o3
(l@#
(l@3∞`m#∞`m3∂(p# ⊂)3 _)@#∃(⊃@3∃ ∩#∃P∞@3∃x)# ⊂#3∞ $@#∃(⊃@3∃@)#∪⊂M3∃02#⊗λ`3∃P2#∪⊂M3∪ ←#∪⊂M3 xI#⊗1@3⊗Hk@# @3 ⊂## ⊂)3 h\# g@3 pλ# h\3⊗λ`# @3∃(⊃@#⊗Hk@3 g@#
x|3 g@#∪a
@3
q #∪P}3∪a
@#
i
@3
q #∪9∂3
i
@#
i
@3
x}#∪a
@3∪9∂#
q 3
x|#
x|3∪P}#⊗Hk@3∪P}#
x}3 82# 823 pλ# pλ3∃P∞@#`Wl@3↔l@#⊃)@#`Q)@#`Wl@#o#3o$#o(#3o($#s_$@3s_%@#s8%3s8%@#s⊂%3o(#@#t@%@3s8%#o$3o#@#s⊂%@3s⊂%#mp!3mp @#tH%3t@%@#mp @3tH##tH#3tH%#s_$@3o(##s8%3tH%#mp#3mp!#o#@3mp##mp"@3mp##o#@3o##s⊂%3s_$@#o#3mp"@#mp"@3mp @#k'3k8/@#s -3s -#nλ/3n⊂+#w@,3u@3#sp-@3n⊂+#s_13s -#n⊂+@3s -#w@,3k'#sp-@3s_1#k'3k"@#s_13nλ/#k"@3wH'@#u@33k8/@#wH'@3w@,#s↓
3q1
#q1
3q1λ#q1
3q1 @#q1λ3q1π@#s↓
3s↓
#s↓λ3s↓
#q1π@3s↓λ#q1 @3q1π@#s↓
3q1 @#t`l@3tHl@#tHl@3t0k#t0k3t(j#t(j3t@h@#t@h@3tXh@#tXh@3tpj#tpj3tpk@#tpk@3t`l@#r`l@3rHl#rHl3r0k#r0k3r0i@#r0i@3rHh#rHh3r`h#r`h3rxi@#rxi@3rxk#rxk3r`l@#nXk@3n@k@#n@k@3n(j#n(j3n(h@#n(h@3n@g#n@g3nXg#nXg3nph@#nph@3npj#npj3nXk@#lPk3l8k#l8k3l i@#l i@3l h#l h3l@f@#l@f@3lXf@#lXf@3lph#lph3lpi@#lpi@3lPk#pHk@3p0j#p`g3pxh@#pHg3p`g#phf@3p`g#p0h@3pHg#pHf@3pHg#p0j3p0h@#p(h@3p0h@#p(j@3p0j#p`k@3pHk@#pHl@3pHk@#pxj3p`k@#p`k@3phl@#pxh@3pxj#pxj3qλj@#pxh@3qλh@#phl@3pHl@#pHl@3p(j@#p(j@3p(h@#p(h@3pHf@#pHf@3phf@#phf@3qλh@#qλh@3qλj@#qλj@3phl@#o( @3o(!#qp!@3qp"#qX"3qX!@#o_!3o_ @#rH"3qp!@#q`!@3o( @#qX"3q`!@#n@≡3rP #rP 3rP!#n@∨3n@≡#n@∨@3n@≡#n@ 3n@∨#o_!3o_ @#o_ @3n@ #n@ 3n@∨@#rP!3n@∨@#rP!3rH"#kX @3k@"@#u ⊂@3u0&@#kX @3u ⊂@#n_|3np}#n_|3lP{@#kp⎇@3lP{@#lQ3kp⎇@#n 3lQ#np}3n #kp⎇3lPz@#lPz@3n_{#n_{3np⎇@#t t@3t`w@#t t@3r@t@#q@w3r@t@#r⊂y@3q@w#sXz3r⊂y@#t`w@3sXz#q@v3r@s@#r@s@3t s@#t s@3t`v@#s_⎇3sX␈#s_⎇3qh|@#q}@3qh|@#qA@3q}@#ri@3qA@#sX␈3ri@#q⎇@3qh|#qh|3s_|#s_|3sX}#n_t3nxv@#n_t3lPs@#kpv3lPs@#lPx@3kpv#n⊂x@3lPx@#nxv@3n⊂x@#kpu3lPr@#lPr@3n_s#n_s3nxu@#j0n3k"@#u ⊂@3u ⊃#uP
3up&@#kPL3k8/@#kP 3k8"@#u ⊂@3u8&@#sHO3u(3#uxd3uH2@#sHO3sPc@#uxd3jxa@#v13v@p#k0.@3jxa@#sHO3kPL#kP∂@3kP #k"@3k λ@#kP 3u ⊂@#v@p3j0n#jy↓@3j0n#t→∪@3ji∩@#t β3t→∪@#ji∪@3ji∩@#sy∀@3ji∪@#t→∪@3sy∀@#ji∩@3jy↓@#jy↓@3t β#v@p3t β#k@a@3kPL#k λ@3uP
#␈wl@3∨7l@#∨1)@#␈q)@#␈wl@#∂0#3∂0$#∂X#3∂X$#∪H$@3∪@%@#∪h%3∪h%@#∪@%3∂X#@#∀h%@3∪h%#∂0$3∂0#@#∪@%@3∪@%#∞ !3∞ @#∀p%3∀h%@#∞ @3∀x##∀x#3∀p%#∪H$@3∂X##∪h%3∀p%#∞ #3∞ !#∂0#@3∞ ##∞ "@3∞ ##∂0#@3∂0##∪@%3∪H$@#∂0#3∞ "@#∞ "@3∞ @#∞ /3∞8+#∪8-3∪8-# P/@3 0'#∞8+@3∪8-#↔p,3∃P3#∀_-@3∞8+#∪813∪8-#↔p,3 0'#∀_-@3∪81# 0'3 8"@#∪813∞ /# 8"@3↔x'@#∃P33 P/@#↔x'@3↔p,#∪↓
3⊃1
#⊃1
3⊃1λ#⊃1
3⊃1 @#⊃1λ3⊃1π@#∪
3∪↓
#∪↓λ3∪
#⊃1π@3∪↓λ#⊃1 @3⊃1π@#∪
3⊃1 @#∃l@3∀hl@#∀hl@3∀Pk#∀Pk3∀Hj#∀Hj3∀`h@#∀`h@3∀xh@#∀xh@3∃⊂j#∃⊂j3∃⊂k@#∃⊂k@3∃l@#∪l@3∩hl#∩hl3∩Pk#∩Pk3∩Pi@#∩Pi@3∩hh#∩hh3∪h#∪h3∪_i@#∪_i@3∪_k#∪_k3∪l@#∞xk@3∞`k@#∞`k@3∞Hj#∞Hj3∞Hh@#∞Hh@3∞`g#∞`g3∂g#∂g3∂_h@#∂_h@3∂_j#∂_j3∞xk@# xk3 `k# `k3 Hi@# Hi@3 Hh# Hh3 `f@# `f@3 xf@# xf@3
⊂h#
⊂h3
⊂i@#
⊂i@3 xk#⊂hk@3⊂Pj#⊃g3⊃_h@#⊂hg3⊃g#⊃λf@3⊃g#⊂Ph@3⊂hg#⊂hf@3⊂hg#⊂Pj3⊂Ph@#⊂Hh@3⊂Ph@#⊂Hj@3⊂Pj#⊃k@3⊂hk@#⊂hl@3⊂hk@#⊃_j3⊃k@#⊃k@3⊃λl@#⊃_h@3⊃_j#⊃_j3⊃(j@#⊃_h@3⊃(h@#⊃λl@3⊂hl@#⊂hl@3⊂Hj@#⊂Hj@3⊂Hh@#⊂Hh@3⊂hf@#⊂hf@3⊃λf@#⊃λf@3⊃(h@#⊃(h@3⊃(j@#⊃(j@3⊃λl@#∂( @3∂(!#∂@ @3∂@!#⊃p!@3⊃p"#∩λ!@3∩λ"#∂(!3∂( @#⊃p"3⊃p!@#∩`"3∩λ!@#⊃p!@3∂@ @#∞X≡3∩` #∩` 3∩`!#∞P∨3∞X≡#∞X∨@3∞X≡#∞P 3∞P∨#∂( @3∞P #∞P 3∞X∨@#∩`!3∞X∨@#∩`!3∩`"# h @3 X"@#∃0⊂@3∃H&@# h @3∃0⊂@#∞(|3∞x}#∞(|3 `{@# x⎇@3 `{@# Y3 x⎇@#∞⊃3 Y#∞x}3∞⊃# x⎇3 `z@# `z@3∞({#∞({3∞x⎇@#∀8t@3∀xw@#∀8t@3∩`t@#⊃Xw3∩`t@#∩ y@3⊃Xw#∪hz3∩ y@#∀xw@3∪hz#⊃Xv3∩`s@#∩`s@3∀8s@#∀8s@3∀xv@#∪(⎇3∪`␈#∪(⎇3⊃x|@#⊃⊂}@3⊃x|@#⊃Q@3⊃⊂}@#∩q@3⊃Q@#∪`␈3∩q@#⊃⊂⎇@3⊃x|#⊃x|3∪(|#∪(|3∪`}#∞8t3∂⊂v@#∞8t3 ps@# λv3 ps@# hx@3 λv#∞ x@3 hx@#∂⊂v@3∞ x@# λu3 pr@# pr@3∞8s#∞8s3∂⊂u@#∃0⊂@3∃0⊃#∃`
3⊗&@# PL3 H.@# _a@3 H-@# ` 3 P"@#∃0⊂@3∃P&@#∪@O3∃@3#⊗_d3∃`2@#∪@O3∪Pc@# PL3 @a@#
Pn3 0λ@# `∪@3 ` #⊗⊂1@3⊗hp# _a@3⊗_d#∪@O3 PL# ` 3∃0⊂@#⊗hp3
Pn#
y↓@3
Pn#∀→∪@3
i∩@#∀ β3∀→∪@#
q∪@3
i∩@#∪y∀@3
q∪@#∀→∪@3∪y∀@#
i∩@3
y↓@#
y↓@3∀ β#⊗hp3∀ β# 0λ@3∃`
#`Wl@3↔l@#⊃)@#`Q)@#`Wl@#rx≡@3rx∨#rP≡@3rP≡@#n8≥@3n8≡#tλ∨3tλ∨#lx≠3tλ≤@#n⊂≡3n⊂≥@#tλ≤@3tλ∨#rP≡@3n8≥@#rx≡@3tλ∨#lx≥@3lx≥@#n8≡3n8≥@#rP≡@3rP≡@#n⊂≥@3lx≥@#lx≥@3lx≠#s@(@3m('#s*@3s_(@#m@-3m('#m@)@3s*@#jh/3ih"#w $@3u@0@#s.3s*@#w $@3ih"#s@(@3s.#ih"3i`≥#s.3m@-#m8'3m@)@#i`≥3w(∨@#u@0@3jh/#m@-3m@)@#w(∨@3w $@#s1⊂3qQ⊂#qQ⊂3qQ
@#qQ⊂3qQ∂@#qQ
@3qQ
#s1⊂3s1⊂#s1
@3s1⊂#qQ
3s1
@#qQ∂@3qQ
#s1⊂3qQ∂@#tXn3t8n#t8n3t l@#t l@3t k#t k3t8i@#t8i@3tPi@#tPi@3tpk#tpk3tpl@#tpl@3tXn#r@n3r(n#r(n3r⊂l@#r⊂l@3r⊂k#r⊂k3r(i@#r(i@3r@i@#r@i@3r`k#r`k3r`l@#r`l@3r@n#n_m@3nm@#nm@3mhl#mhl3mhj@#mhj@3ni#ni3n i#n i3n8j@#n8j@3n8l#n8l3n_m@#lλm@3khm@#khm@3kPl#kPl3kPj@#kPj@3kpi#kpi3lλi#lλi3l j@#l j@3l l#l l3lλm@#p_m3pk@#p0h@3pPj#p_h@3p0h@#p8h3p0h@#pj3p_h@#p_h3p_h@#pk@3pj#oxj3pj#oxl3pk@#p0m3p_m#p_n@3p_m#pPk@3p0m#p0m3p8n@#pPj3pPk@#pPk@3pXl@#pPj3pXj@#p8n@3p_n@#p_n@3oxl#oxl3oxj#oxj3p_h#p_h3p8h#p8h3pXj@#pXj@3pXl@#pXl@3p8n@#k⊂
3jx≥#u_ @3u0∨@#k⊂
3u_ @#nλ}@3ni↓#nλ}@3l0}@#kY@3l0}@#lIα@3kY@#n α@3lIα@#ni↓3n α@#kX␈@3l0⎇@#l0⎇@3nλ⎇@#nλ⎇@3ni#t v@3tpy@#t v@3r0v@#q0y3r0v@#rλ|3q0y#s`|3rλ|#tpy@3s`|#q(x@3r0u@#r0u@3t_u@#t_u@3tpx@#s0␈3sy↓#s0␈3qx␈#q⊃↓3qx␈#qYβ3q⊃↓#s β3qYβ#sy↓3s β#q⊃3qx}@#qx}@3s0}@#s0}@3sq@#mhv@3nPy#mhv@3l⊂v@#k8y3l⊂v@#l({3k8y#mp{@3l({#nPy3mp{@#k8x3l⊂u@#l⊂u@3mhu@#mhu@3nPx#iPp@3j((@#u 3u
#uXλ@3up∨@#spN@3u00@#kPM3jp/#j c@3j`.#kλ @3jp≥#u 3u8∨@#ve3uH0#spN@3td@#kPM3k@c@#k⊂ @3kλ @#v-3vPr#j8≥3jPε#j c@3ve#spN@3kPM#kλ @3u #vPr3iPp@#jq∧@3iPp@#tQ⊗@3ja⊗#tA¬3tQ⊗@#jq↔@3ja⊗#t9_3jq↔@#tQ⊗@3t9_#ja⊗3jq∧@#jq∧@3tA¬#vPr3tA¬#jPε3uXλ@#␈wl@3∨7l@#∨1)@#␈q)@#␈wl@#∪0≡@3∪0∨#∪λ≡@3∪λ≡@#∞p≥@3∞p≡#∞H≥@3∞H≡#∞H≥@3∞H≡#∪λ≡@3∪λ≡@#∀@∨3∀@∨#
0≥@3
0≥@#
0≠3∀@≤@#∀@≤@3∀@∨#∪λ≡@3∞p≥@#∪0≡@3∀@∨#∞H≥@3
0≥@#
0≥@3
0≠#∪ *@3∪8(@#
`'3∪p(@#
`'3
`)@#
`-3
`'#
`)@3∪ *@# λ/3
"#↔`$@3∃X0@#∪ .3∪ *@#↔`$@3
"#∪p(@3∪ .#
"3
≥#∪ .3
`-#
≥3↔`∨@#∃X0@3 λ/#
`-3
`)@#↔`∨@3↔`$@#∪1⊂3⊃Y⊂#⊃Y⊂3⊃Y
@#⊃Y⊂3⊃Y∂@#⊃Y
@3⊃Y
#∪9⊂3∪1⊂#∪1
@3∪9⊂#⊃Y
3∪1
@#⊃Y∂@3⊃Y
#∪9⊂3⊃Y∂@#∃n3∀hn#∀hn3∀Hl@#∀Hl@3∀Hk#∀Hk3∀`i@#∀`i@3∀xi@#∀xi@3∃_k#∃_k3∃_l@#∃_l@3∃n#∩pn3∩Pn#∩Pn3∩8l@#∩8l@3∩8k#∩8k3∩Pi@#∩Pi@3∩hi@#∩hi@3∪λk#∪λk3∪λl@#∪λl@3∩pn#∞Hm@3∞0m@#∞0m@3∞⊂l#∞⊂l3∞⊂j@#∞⊂j@3∞0i#∞0i3∞Hi#∞Hi3∞`j@#∞`j@3∞`l#∞`l3∞Hm@# 0m@3 _m@# _m@3 l# l3 j@# j@3 _i# _i3 0i# 0i3 Pj@# Pj@3 Hl# Hl3 0m@#⊂@m3⊂(k@#⊂`h@3⊂xj#⊂@h@3⊂`h@#⊂`h3⊂`h@#⊂(j3⊂@h@#⊂@h3⊂@h@#⊂(k@3⊂(j#⊂ j3⊂(j#⊂ l3⊂(k@#⊂`m3⊂@m#⊂@n@3⊂@m#⊂xk@3⊂`m#⊂`m3⊂`n@#⊂xj3⊂xk@#⊂xk@3⊃λl@#⊂xj3⊃λj@#⊂`n@3⊂@n@#⊂@n@3⊂ l#⊂ l3⊂ j#⊂ j3⊂@h#⊂@h3⊂`h#⊂`h3⊃λj@#⊃λj@3⊃λl@#⊃λl@3⊂`n@# (
3 _≥#∃0 @3∃H∨# (
3∃0 @#∞_}@3∂↓↓#∞_}@3 H}@# i@3 H}@# Qα@3 i@#∞→α@3 Qα@#∂↓↓3∞→α@# h␈@3 H⎇@# H⎇@3∞_⎇@#∞_⎇@3∂↓#∀@v@3∃⊂y@#∀@v@3∩Xv@#⊃Py3∩Xv@#∩(|3⊃Py#∀|3∩(|#∃⊂y@3∀|#⊃Hx@3∩Xu@#∩Xu@3∀@u@#∀@u@3∃⊂x@#∪@␈3∀ ↓#∪@␈3∩λ␈#⊃!↓3∩λ␈#⊃iβ3⊃!↓#∪→β3⊃iβ#∀ ↓3∪→β#⊃!3∩λ}@#∩λ}@3∪@}@#∪@}@3∀ @#∞⊂v@3∞py#∞⊂v@3 8v@# Xy3 8v@# @{3 Xy#∞λ{@3 @{#∞py3∞λ{@# Xx3 8u@# 8u@3∞⊂u@#∞⊂u@3∞px# xp@3
H'#∃8 3∃0
#∃hλ@3⊗λ∨@#∪pN@3∃H0@# PM3 λ/#
Hc@3 -@# @3 ⊂≥#∃8 3∃P∨@#⊗(e3∃h0#∪pN@3∀d@# PM3 @c@# 3 @#
P≥3
hε#⊗ -@3⊗xr#
Hc@3⊗(e#∪pN@3 PM# @3∃8 #⊗xr3 xp@#
y∧@3 xp@#∀Y⊗@3
i⊗#∀I¬3∀Y⊗@#
y↔@3
i⊗#∀9_3
y↔@#∀Y⊗@3∀9_#
i⊗3
y∧@#
y∧@3∀I¬#⊗xr3∀I¬#
hε3∃hλ@#`Wl@3↔l@#⊃)@#`Q)@#`Wl@#sx↔3sx→@#l(⊗@3sx↔#l _@3l(⊗@#rx'@3s⊂$@#l`$3s0$@#m$3m⊂'#mλ+@3l`$#m⊂'3rx'@#j(-@3hp≥@#w0∨3uP.@#rx,3rx'@#w0∨3hp≥@#s0$@3rx,#hp≥@3hh_#rx,3mλ+@#hh_3w0~#uP.@3j(-@#mλ+@3m⊂'#w0~3w0∨#sQ∪3qi∪#qi∪3qi
@#qi∪3qi∪#qi
@3qi
#sQ∪3sQ∪#sQ
@3sQ∪#qi
3sQ
@#qi∪3qi
#sQ∪3qi∪#t`p@3tHp@#tHp@3t(n@#t(n@3t(m#t(m3t@k@#t@k@3t`k@#t`k@3txm#txm3un@#un@3t`p@#r@p3r p#r p3rλn@#rλn@3rλm#rλm3r k@#r k@3r8k@#r8k@3rXm#rXm3rXn@#rXn@3r@p#mpp3mXp#mXp3m8n@#m8n@3m8l@#m8l@3mXk#mXk3mpk#mpk3n⊂l@#n⊂l@3n⊂n@#n⊂n@3mpp#kHp3k0p#k0p3k⊂n#k⊂n3k_l@#k_l@3k0k#k0k3kPk#kPk3khl@#khl@3khn#khn3kHp#po@3o`n#p_j@3p0l#pj@3p_j@#p j3p_j@#o`l3pj@#pj3pj@#o`n3o`l#oXl3o`l#oXn@3o`n#p_o@3po@#oxp@3po@#p0n3p_o@#p_o@3p p@#p0l3p0n#p0n3pHn@#p0l3pHl@#p p@3oxp@#oxp@3oXn@#oXn@3oXl#oXl3pj#pj3p j#p j3pHl@#pHl@3pHn@#pHn@3p p@#jXπ3j@_@#u(λ@3u@→@#jXπ3u(λ@#mq↓@3naβ@#mq↓@3l→↓@#k9β@3l→↓@#l1¬@3k9β@#n↓¬@3l1¬@#naβ@3n↓¬@#k9α@3l→@#l→@3mq@#mq@3naβ#t(y3uλ|#t(y3r0y#q(|3r0y#r⊂}@3q(|#sx}@3r⊂}@#uλ|3sx}@#q({3r0x#r0x3t(x#t(x3uλ{#sAα3t⊃∧#sAα3r↓α#q→∧3r↓α#qi¬@3q→∧#s!¬@3qi¬@#t⊃∧3s!¬@#q→β3r↓↓#r↓↓3sA↓#sA↓3t⊃β#m@y@3n8|#m@y@3k`y#k|3k`y#l}3k|#mP}3l}#n8|3mP}#k{3k`x#k`x3m@x@#m@x@3n8{#is@3ih(#u0λ3u0 #uh∧3v→@#t⊂N@3uH.@#kHM@3j8-@#iXe@3j -#jPε@3j8_@#u0λ3uH→@#v_f3uX.#t⊂N@3t(f#kHM@3k0e@#jXλ3jPε@#ix_@3j_β#v_*3vpt#iXe@3v_f#t⊂N@3kHM@#jPε@3u0λ#vpt3is@#jaπ@3is@#ty~3jQ~#tiπ@3ty~#ja≠3jQ~#ta≠@3ja≠#ty~3ta≠@#jQ~3jaπ@#jaπ@3tiπ@#vpt3tiπ@#j_β3uh∧#␈wl@3∨7l@#∨1)@#␈q)@#␈wl@#∀@↔3∀@→@# h_@3 h⊗@# h⊗@3∀@↔#∪ '@3∪@$@#
$3∪p$@#
0$3
8'#
8+@3
$#
8'3∪ '@#
P-@3 8≥@#↔x∨3∃x.@#∪ ,3∪ '@#↔x∨3 8≥@#∪p$@3∪ ,# 8≥@3 8_#∪ ,3
8+@# 8_3↔x~#∃x.@3
P-@#
8+@3
8'#↔x~3↔x∨#∪Y∪3⊃q∪#⊃q∪3⊃q
@#⊃q∪3⊃y∪#⊃q
@3⊃q
#∪a∪3∪Y∪#∪Y
@3∪a∪#⊃q
3∪Y
@#⊃y∪3⊃q
#∪a∪3⊃y∪#∃_p@3∀xp@#∀xp@3∀`n@#∀`n@3∀Xm#∀Xm3∀xk@#∀xk@3∃⊂k@#∃⊂k@3∃0m#∃0m3∃0n@#∃0n@3∃_p@#∩pp3∩Xp#∩Xp3∩8n@#∩8n@3∩8m#∩8m3∩Pk@#∩Pk@3∩pk@#∩pk@3∪λm#∪λm3∪λn@#∪λn@3∩pp#∞(p3∞λp#∞λp3
pn@#
pn@3
pl@#
pl@3∞λk#∞λk3∞(k#∞(k3∞@l@#∞@l@3∞@n@#∞@n@3∞(p# p3 `p# `p3 Hn# Hn3 Hl@# Hl@3 hk# hk3 k# k3 _l@# _l@3 _n# _n3 p#⊂0o@3⊂_n#⊂Hj@3⊂hl#⊂0j@3⊂Hj@#⊂Pj3⊂Hj@#⊂_l3⊂0j@#⊂0j3⊂0j@#⊂_n3⊂_l#⊂λl3⊂_l#⊂λn@3⊂_n#⊂Po@3⊂0o@#⊂0p@3⊂0o@#⊂hn3⊂Po@#⊂Po@3⊂Pp@#⊂hl3⊂hn#⊂hn3⊂xn@#⊂hl3⊂xl@#⊂Pp@3⊂0p@#⊂0p@3⊂λn@#⊂λn@3⊂λl#⊂λl3⊂0j#⊂0j3⊂Pj#⊂Pj3⊂xl@#⊂xl@3⊂xn@#⊂xn@3⊂Pp@#
pπ3
`_@#∃Hλ@3∃`→@#
pπ3∃Hλ@#∞⊃↓@3∞yβ@#∞⊃↓@3 1↓@# Qβ@3 1↓@# I¬@3 Qβ@#∞⊃¬@3 I¬@#∞yβ@3∞⊃¬@# Qα@3 1@# 1@3∞⊃@#∞⊃@3∞yβ#∀Xy3∃0|#∀Xy3∩`y#⊃P|3∩`y#∩0}@3⊃P|#∀_}@3∩0}@#∃0|3∀_}@#⊃P{3∩`x#∩`x3∀Xx#∀Xx3∃0{#∪aα3∀)∧#∪aα3∩→α#⊃)∧3∩→α#∩↓¬@3⊃)∧#∪9¬@3∩↓¬@#∀)∧3∪9¬@#⊃)β3∩→↓#∩→↓3∪a↓#∪a↓3∀)β#
py@3∞`|#
py@3 λy# (|3 λy# }3 (|#
x}3 }#∞`|3
x}# ({3 λx# λx3
px@#
px@3∞`{# 8s@3
λ&@#∃Pλ3∃H #⊗λ∧3⊗ →@#∀_N@3∃h.@# HM@3
X-@#
λe@3
H,@#
pε@3
X_@#∃Pλ3∃h→@#⊗Hf3⊗.#∀_N@3∀0f# HM@3 8e@#
pλ@3
pε@#
_@3
8β#⊗8*@3↔ t#
λe@3⊗Hf#∀_N@3 HM@#
pε@3∃Pλ#↔ t3 8s@#
qπ@3 8s@#∃ ~3
a~#∀yπ@3∃ ~#
q≠3
a~#∀i≠@3
q≠#∃ ~3∀i≠@#
a~3
qπ@#
qπ@3∀yπ@#↔ t3∀yπ@#
8β3⊗λ∧#`Wl@3↔l@#⊃)@#`Q)@#`Wl@#t∩3t∀#k`∪@3k`⊃@#k`⊃@3t∩#l( @3s8 @#s%3s_ @#lH @3l`%#l`)3l( @#l`%3s%#ip,3h→@#wX~3up,@#s)@3s%#wX~3h→@#s8 @3s)@#h→@3h∪@#s)@3l`)#h∪@3w`∀@#up,@3ip,#l`)3l`%#w`∀@3wX~#sq↔3qy↔#qy↔3qy⊃#qy↔3qy⊗@#qy⊃3qy⊂@#sq⊗@3sq↔#si⊂@3sq⊗@#qy⊂@3si⊂@#qy⊗@3qy⊂@#sq⊗@3qy⊗@#us3t`s#t`s3t@q#t@q3t@o@#t@o@3tXm@#tXm@3txm@#txm@3u_o@#u_o@3u_q#u_q3us#r@r@3r(r@#r(r@3rλq#rλq3rλo#rλo3r m@#r m@3r@m@#r@m@3r`o#r`o3r`q#r`q3r@r@#mPr@3m0r@#m0r@3m⊂q#m⊂q3m_o#m_o3m0m@#m0m@3mPm@#mPm@3mpo#mpo3mhq#mhq3mPr@#k⊂r@3jpr@#jpr@3jXq#jXq3jXo#jXo3jxm@#jxm@3k_m@#k_m@3k0o#k0o3k0q#k0q3k⊂r@#ohr3oPp@#pλm3p(n@#ohm3pλm#p⊂l@3pλm#oPn@3ohm#ohl@3ohm#oPp@3oPn@#oHn@3oPn@#o@q3oPp@#pλr3ohr#ohs3ohr#p(p@3pλr#pλr3p⊂s#p(n@3p(p@#p(p@3p8q#p(n@3p8n@#p⊂s3ohs#ohs3o@q#o@q3oHn@#oHn@3ohl@#ohl@3p⊂l@#p⊂l@3p8n@#p8n@3p8q#p8q3p⊂s#j β@3jλ∪@#uH∧3uX∀#m0 @3s_!#j β@3uH∧#ma∧@3nYπ#ma∧@3ky∧@#k→π3ky∧@#l! 3k→π#mq 3l! #nYπ3mq #k→ε3kyβ@#kyβ@3maβ@#maβ@3nYε#t@|3u(␈#t@|3r8|#q(␈3r8|#r→↓@3q(␈#t⊃↓@3r→↓@#u(␈3t⊃↓@#q(}3r8{#r8{3t@{#t@{3u(}#sY¬3t1π#sY¬3r ¬#q→π3r ¬#qy 3q→π#s9 3qy #t1π3s9 #q→ε3r ∧#r ∧3sY∧#sY∧3t1ε#m |@3n ␈#m |@3k0|@#jP␈3k0|@#kY↓@3jP␈#m9↓@3kY↓@#n ␈3m9↓@#jP}3k0{@#k0{@3m {@#m {@3n }#h0v@3i(&@#uPβ@3uH¬#v∂␈@3v ∀#t0N@3uh,@#k0M@3j,#i⊂g@3i`+#j_β3j∪@#m @3s_!#uPβ@3u`∀#v@h3v,#t0N@3tHh#k0M@3k_g@#j ∧@3j_β#i@∪@3ig␈#v8'3w w#i⊂g@3v@h#t0N@3k0M@#j_β3uPβ@#w w3h0v@#jI
@3h0v@#u!≡3j1≡#u⊃
@3u!≡#jI∨3j1≡#u ∨3jI∨#u!≡3u ∨#j1≡3jI
@#jI
@3u⊃
@#w w3u⊃
@#ig␈3v∂␈@#␈wl@3∨7l@#∨1)@#␈q)@#␈wl@#∀P∩3∀P∀# 0∪@3 0⊃@# 0⊃@3∀P∩# p @3∀ @#∪0%3∪X @#
λ @3
_%#
_)3 p @#
_%3∪0%#
,3λX→@#_0~3⊗ ,@#∪8)@3∪0%#_0~3λX→@#∀ @3∪8)@#λX→@3λX∪@#∪8)@3
_)#λX∪@3_8∀@#⊗ ,@3
,#
_)3
_%#_8∀@3_0~#∀↓↔3∩ ↔#∩ ↔3∩ ⊃#∩ ↔3∩⊃⊗@#∩ ⊃3∩ ⊂@#∀↓⊗@3∀↓↔#∀↓⊂@3∀↓⊗@#∩ ⊂@3∀↓⊂@#∩⊃⊗@3∩ ⊂@#∀↓⊗@3∩⊃⊗@#∃8s3∃ s#∃ s3∃q#∃q3∃o@#∃o@3∃_m@#∃_m@3∃8m@#∃8m@3∃Po@#∃Po@3∃Xq#∃Xq3∃8s#∪r@3∩`r@#∩`r@3∩Hq#∩Hq3∩@o#∩@o3∩`m@#∩`m@3∪m@#∪m@3∪_o#∪_o3∪ q#∪ q3∪r@#∞λr@3
pr@#
pr@3
Pq#
Pq3
Po#
Po3
pm@#
pm@3∞⊂m@#∞⊂m@3∞(o#∞(o3∞(q#∞(q3∞λr@# Pr@3 0r@# 0r@3 _q# _q3 _o# _o3 8m@# 8m@3 Pm@# Pm@3 po# po3 pq# pq3 Pr@#⊂(r3⊂λp@#⊂Hm3⊂hn@#⊂(m3⊂Hm#⊂Pl@3⊂Hm#⊂λn@3⊂(m#⊂(l@3⊂(m#⊂λp@3⊂λn@#⊂n@3⊂λn@#⊂q3⊂λp@#⊂Hr3⊂(r#⊂(s3⊂(r#⊂hp@3⊂Hr#⊂Hr3⊂Ps#⊂hn@3⊂hp@#⊂hp@3⊂xq#⊂hn@3⊂xn@#⊂Ps3⊂(s#⊂(s3⊂q#⊂q3⊂n@#⊂n@3⊂(l@#⊂(l@3⊂Pl@#⊂Pl@3⊂xn@#⊂xn@3⊂xq#⊂xq3⊂Ps#
Hβ@3
0∪@#
H @3∪P!#∃h∧3⊗∀#
Hβ@3∃h∧#∞↓∧@3∞yπ#∞↓∧@3 →∧@# 9π3 →∧@# 9 3 9π#∞⊃ 3 9 #∞yπ3∞⊃ # 9ε3 →β@# →β@3∞↓β@#∞↓β@3∞yε#∀x|3∃X␈#∀x|3∩p|#⊃X␈3∩p|#∩I↓@3⊃X␈#∀9↓@3∩I↓@#∃X␈3∀9↓@#⊃X}3∩p{#∩p{3∀x{#∀x{3∃X}#∀↓¬3∀Qπ#∀↓¬3∩1¬#⊃9π3∩1¬#∩⊃ 3⊃9π#∪Q 3∩⊃ #∀Qπ3∪Q #⊃9ε3∩1∧#∩1∧3∀↓∧#∀↓∧3∀Iε#
X|@3∞P␈#
X|@3 `|@# ␈3 `|@# ↓@3 ␈#
i↓@3 ↓@#∞P␈3
i↓@# }3 h{@# h{@3
X{@#
X{@3∞P}#λpv@3 X%#∃pβ@3∃p¬#⊗/␈@3⊗H∀#∀8N@3⊗⊂,@# 8M@3
(,# Pg@3
⊂+#
@β3
(∪@#
⊂ @3∪P!#∃pβ@3⊗λ∀#⊗xh3⊗(,#∀8N@3∀Ph# 8M@3 g@#
@∧@3
@β# h∪@3
π␈#⊗h'@3↔Xw# Pg@3⊗xh#∀8N@3 8M@#
@β3∃pβ@#↔Xw3λpv@#
Y
@3λpv@#∃1≡3
I≡#∃!
@3∃1≡#
Y∨3
I≡#∃→∨3
Y∨#∃1≡3∃→∨#
I≡3
Y
@#
Y
@3∃!
@#↔Xw3∃!
@#
π␈3⊗/␈@#`Wl@3↔l@#⊃)@#`Q)@#`Wl@#tλ 3tλ∞#k⊂∞3k⊂ #k⊂ 3tλ #l0"3lλ≤@#sλ"3s ≤@#kh≤@3s@≤@#l0'3kh≤@#l0"3sλ"#i0*@3g∀@#x⊂∀@3v_*#sλ&@3sλ"#x⊂∀@3g∀@#s@≤@3sλ&@#g∀@3g∞#sλ&@3l0'#g∞3x⊂∞#v_*3i0*@#l0'3l0"#x⊂∞3x⊂∀@#t⊃≠3r ≠#r ≠3r ∀@#r ≠3r⊃~@#r ∀@3r ∀#t⊃~@3t⊃≠#t ∀3t⊃~@#r ∀3t ∀#r⊃~@3r ∀#t⊃~@3r⊃~@#u u@3uu@#uu@3tXs@#tXs@3tXr#tXr3txp#txp3u_p#u_p3u8r#u8r3u8s@#u8s@3u u@#rHu@3r(u@#r(u@3rλs@#rλs@3rλr#rλr3r(p#r(p3rHp#rHp3rhr#rhr3rhs@#rhs@3rHu@#m(u@3mλu@#mλu@3lhs@#lhs@3lhr#lhr3mλp#mλp3m(p#m(p3mHr#mHr3mHs@#mHs@3m(u@#jPu@3j0u@#j0u@3j_s@#j_s@3j_r#j_r3j8p#j8p3jXp#jXp3jxr#jxr3jps@#jps@3jPu@#oXu3o8s#oxo@3p_q#oXo@3oxo@#po3oxo@#o8q3oXo@#oXo3oXo@#o8s3o8q#o0q3o8q#o0s@3o8s#oxu3oXu#oXv@3oXu#p_s3oxu#oxu3pv@#p_q3p_s#p_s3p0s@#p_q3p0q#pv@3oXv@#oXv@3o0s@#o0s@3o0q#o0q3oXo#oXo3po#po3p0q#p0q3p0s@#p0s@3pv@#io␈@3iP∞#uo␈@3ux∞#l_≥@3s_≡#io␈@3uo␈@#mIλ@3nQ
@#mIλ@3kQλ@#jy
@3kQλ@#l↓ @3jy
@#mi @3l↓ @#nQ
@3mi @#jy @3kQπ#kQπ3mIπ@#mIπ@3nQ @#t`␈@3uQα@#t`␈@3r@␈@#q)α@3r@␈@#r)¬@3q)α@#t)¬@3r)¬@#uQα@3t)¬@#q)↓@3r@}@#r@}@3t`}@#t`}@3uQ↓@#syλ@3tQ
@#syλ@3r→λ@#q)
@3r→λ@#r @3q)
@#sY @3r @#tQ
@3sY @#q! @3r→π@#r→π@3syπ@#syπ@3tQ @#ly3n α@#ly3jy#j→α@3jy#k1¬3j→α@#m!¬3k1¬#n α@3m!¬#j→↓@3jx␈#jx␈3lx␈#lx␈3n ↓@#gXz3h`$@#uw␈3uh@#v/z@3vH∞#tPN@3vλ*#k_N3i@*@#h@j3i )@#ig␈3iH∞#l_≡3s_≡#uw␈3v∞#vpj3v )@#tPN@3thj#k_N3kj#i`3ig␈#i∞3i'z@#v`#@3wPz#h@j3vpj#tPN@3k_N#ig␈3uw␈#wPz3gXz#j)∞3gXz#uI"@3j⊃"@#u9∞3uI"@#j1#@3j⊃"@#u1#@3j1#@#uI"@3u1#@#j⊃"@3j)∞#j)∞3u9∞#wPz3u9∞#i'z@3v/z@#␈wl@3∨7l@#∨1)@#␈q)@#␈wl@#∀h 3∀h∞# p∞3 p # p 3∀h # p"3 X≤@#∪H"3∪p≤@# 8≤@3∀⊂≤@# p'3 8≤@# p"3∪H"# `*@3πh∀@#_x∀@3⊗P*#∪H&@3∪H"#_x∀@3πh∀@#∀⊂≤@3∪H&@#πh∀@3πh∞#∪H&@3 p'#πh∞3_x∞#⊗P*3 `*@# p'3 p"#_x∞3_x∀@#∀)≠3∩)≠#∩)≠3∩!∀@#∩)≠3∩)~@#∩!∀@3∩!∀#∀)~@3∀)≠#∀!∀3∀)~@#∩!∀3∀!∀#∩)~@3∩!∀#∀)~@3∩)~@#∃hu@3∃Hu@#∃Hu@3∃(s@#∃(s@3∃ r#∃ r3∃@p#∃@p3∃`p#∃`p3⊗r#⊗r3⊗s@#⊗s@3∃hu@#∪⊂u@3∩pu@#∩pu@3∩Ps@#∩Ps@3∩Pr#∩Pr3∩pp#∩pp3∪⊂p#∪⊂p3∪0r#∪0r3∪0s@#∪0s@3∪⊂u@#
pu@3
Pu@#
Pu@3
0s@#
0s@3
0r#
0r3
Pp#
Pp3
pp#
pp3∞⊂r#∞⊂r3∞⊂s@#∞⊂s@3
pu@# _u@3
xu@#
xu@3
`s@#
`s@3
`r#
`r3 p# p3 p# p3 @r# @r3 @s@# @s@3 _u@#⊂ u3⊂s#⊂@o@3⊂`q#⊂ o@3⊂@o@#⊂Ho3⊂@o@#⊂q3⊂ o@#⊂ o3⊂ o@#⊂s3⊂q#∂xq3⊂q#∂xs@3⊂s#⊂@u3⊂ u#⊂ v@3⊂ u#⊂`s3⊂@u#⊂@u3⊂Hv@#⊂`q3⊂`s#⊂`s3⊂xs@#⊂`q3⊂xq#⊂Hv@3⊂ v@#⊂ v@3∂xs@#∂xs@3∂xq#∂xq3⊂ o#⊂ o3⊂Ho#⊂Ho3⊂xq#⊂xq3⊂xs@#⊂xs@3⊂Hv@#
↔␈@3
∞#⊗↔␈@3⊗(∞# X≡3∪`≡#
↔␈@3⊗↔␈@#
yλ@3∞y
@#
yλ@3 ↓λ@# →
@3 ↓λ@# ! @3 →
@#∞ @3 ! @#∞y
@3∞ @# → @3 ↓π# ↓π3
yπ@#
yπ@3∞y @#∃ ␈@3⊗ α@#∃ ␈@3∪␈@#⊃aα@3∪␈@#∩Y¬@3⊃aα@#∀a¬@3∩Y¬@#⊗ α@3∀a¬@#⊃a↓@3∪}@#∪}@3∃ }@#∃ }@3⊗ ↓@#∀!λ@3∀y
@#∀!λ@3∩Aλ@#⊃I
@3∩Aλ@#∩) @3⊃I
@#∪y @3∩) @#∀y
@3∪y @#⊃I @3∩Aπ@#∩Aπ@3∀!π@#∀!π@3∀q @#
93∞Aα@#
93 9#
Qα@3 9# a¬3
Qα@#
Q¬3 a¬#∞Aα@3
Q¬#
Q↓@3 8␈# 8␈3
8␈#
8␈3∞A↓@#λ(z3 _#@#⊗∨␈3⊗_#⊗←z@3⊗x∞#∀`N@3⊗8*# (N3 x*@# λj3 X)@#
∂␈3 x∞# X≡3∪`≡#⊗∨␈3⊗0∞#↔8j3⊗X)@#∀`N@3∀xj# (N3 ⊂j#
⊂@3
∂␈# 0∞3 Wz@#↔_$@3_ z# λj3↔8j#∀`N@3 (N#
∂␈3⊗∨␈#_ z3λ(z#
A∞3λ(z#∃i"@3
1"@#∃Q∞3∃i"@#
I#@3
1"@#∃I#@3
I#@#∃i"@3∃I#@#
1"@3
A∞#
A∞3∃Q∞#_ z3∃Q∞# Wz@3⊗←z@#`Wl@3↔l@#⊃)@#`Q)@#`Wl@#t8ε3t8π#jXε@3jX¬#jX¬3t8ε#l⊂≡@3k`↔@#s ∨3sH_#k8↔@3s`_#lλ#@3k8↔@#l⊂≡@3s ∨#hp'@3f⊂
#xp∂3vP(@#s $3s ∨#xp∂3f⊂
#s`_3s $#f⊂
3f⊂ε#s $3lλ#@#f⊂ε3xxπ@#vP(@3hp'@#lλ#@3l⊂≡@#xxπ@3xp∂#t)∨@3r→∨@#r→∨@3r→_@#r→∨@3r→∨#r→_@3r→_@#t)∨3t)∨@#t)_@3t)∨#r→_@3t)_@#r→∨3r→_@#t)∨3r→∨#uPy3u0y#u0y3uλw#uλw3uλu#uλu3u(s#u(s3uHs#uHs3upu#upu3upw#upw3uPy#r`y3r@y#r@y3r_w#r_w3r_u#r_u3r@s#r@s3r`s#r`s3su#su3sw#sw3r`y#mλy3l`y#l`y3l@w#l@w3l@u#l@u3lhs#lhs3mλs#mλs3m(u#m(u3m(w#m(w3mλy#j_y3ixy#ixy3iXw#iXw3iXu#iXu3ixs#ixs3j s#j s3j@u#j@u3j8w#j8w3j_y#oPx@3o0v@#opr@3p_t@#oPr@3opr@#pq@3opr@#o0t@3oPr@#oPq@3oPr@#o0v@3o0t@#o t@3o0t@#o w3o0v@#opx@3oPx@#oPz3oPx@#p_v@3opx@#opx@3pz#p_t@3p_v@#p_v@3p0w#p_t@3p0t@#pz3oPz#oPz3o w#o w3o t@#o t@3oPq@#oPq@3pq@#pq@3p0t@#p0t@3p0w#p0w3pz#i7z@3i_ε#v∨z@3v(π@#kp~@3s8≠#i7z@3v∨z@#m1 @3nA∞@#m1 @3k) @#jI∞@3k) @#ka⊂@3jI∞@#mQ⊂@3ka⊂@#nA∞@3mQ⊂@#jI
@3k) #k) 3m1 #m1 3nA
@#u ∧3v↓ε@#u ∧3rY∧#q1ε@3rY∧#r9 @3q1ε@#tQ @3r9 @#v↓ε@3tQ @#q1¬@3rQα@#rQα@3u α@#u α@3v↓¬@#t⊃ @3tq∞@#t⊃ @3r) @#q)∞@3r) @#r⊃⊂@3q)∞@#sq⊂@3r⊃⊂@#tq∞@3sq⊂@#q)
@3r) @#r) @3t⊃ @#t⊃ @3tq
@#lY∧3mqπ#lY∧3jA∧#iaπ3jA∧#k↓ 3iaπ#m↓ 3k↓ #mqπ3m↓ #ia¬@3jAβ#jAβ3lYβ#lYβ3mq¬@#g⎇@3h_!#v'z3v∨{@#vgu@3vxπ@#tpO3v8(@#jxN3i'@#gpl@3h`&@#i/z3i⊂ε#kp~@3s8≠#v'z3v0π@#w0l@3vX'@#tpO3uλl@#jxN3jXl@#i7{3i/z#hHε3hou@#w !@3x ⎇@#gpl@3w0l@#tpO3jxN#i/z3v'z#x ⎇@3g⎇@#j↓⊃@3g⎇@#uq'@3ii'@#uY⊃@3uq'@#j (@3ii'@#uY(@3j (@#uq'@3uY(@#ii'@3j↓⊃@#j↓⊃@3uY⊃@#x ⎇@3uY⊃@#hou@3vgu@#␈wl@3∨7l@#∨1)@#␈q)@#␈wl@#∃(ε3∃(π# Hε@3 H¬# H¬3∃(ε# X≡@3 8↔@#∪p∨3∀ _# _↔@3∀H_# X#@3 _↔@# X≡@3∪p∨# 0'@3π⊂
#→h∂3↔⊂(@#∪p$3∪p∨#→h∂3π⊂
#∀H_3∪p$#π⊂
3πλε#∪p$3 X#@#πλε3→pπ@#↔⊂(@3 0'@# X#@3 X≡@#→pπ@3→h∂#∀I∨@3∩9∨@#∩9∨@3∩9_@#∩9∨@3∩9∨#∩9_@3∩9_@#∀I∨3∀I∨@#∀I_@3∀I∨#∩9_@3∀I_@#∩9∨3∩9_@#∀I∨3∩9∨#⊗(y3⊗y#⊗y3∃`w#∃`w3∃`u#∃`u3⊗s#⊗s3⊗ s#⊗ s3⊗@u#⊗@u3⊗Hw#⊗Hw3⊗(y#∪8y3∪_y#∪_y3∩pw#∩pw3∩pu#∩pu3∪⊂s#∪⊂s3∪0s#∪0s3∪Xu#∪Xu3∪Xw#∪Xw3∪8y#
Xy3
8y#
8y3
_w#
_w3
_u#
_u3
8s#
8s3
`s#
`s3∞u#∞u3∞w#∞w3
Xy#
py3
Hy#
Hy3
(w#
(w3
0u#
0u3
Ps#
Ps3
ps#
ps3 ⊂u# ⊂u3 ⊂w# ⊂w3
py#⊂(x@3⊂λv@#⊂Hr@3⊂pt@#⊂(r@3⊂Hr@#⊂Pq@3⊂Hr@#⊂λt@3⊂(r@#⊂(q@3⊂(r@#⊂λv@3⊂λt@#∂xt@3⊂λt@#∂xw3⊂λv@#⊂Hx@3⊂(x@#⊂(z3⊂(x@#⊂pv@3⊂Hx@#⊂Hx@3⊂Xz#⊂pt@3⊂pv@#⊂pv@3⊃w#⊂pt@3⊃t@#⊂Xz3⊂(z#⊂(z3∂xw#∂xw3∂xt@#∂xt@3⊂(q@#⊂(q@3⊂Pq@#⊂Pq@3⊃t@#⊃t@3⊃w#⊃w3⊂Xz# gz@3 Xε#⊗Oz@3⊗`π@# H~@3∀λ≠# gz@3⊗Oz@#
i @3∞q∞@#
i @3 a @#
y∞@3 a @# ⊂@3
y∞@#
y⊂@3 ⊂@#∞q∞@3
y⊂@#
y
@3 a # a 3
i #
i 3∞q
@#∃Y∧3⊗Iε@#∃Y∧3∪!∧#⊃yε@3∪!∧#∩y @3⊃yε@#∃⊃ @3∩y @#⊗Iε@3∃⊃ @#⊃y¬@3∪!α@#∪!α@3∃Yα@#∃Yα@3⊗A¬@#∀I @3∃!∞@#∀I @3∩Y @#⊃Y∞@3∩Y @#∩A⊂@3⊃Y∞@#∀→⊂@3∩A⊂@#∃!∞@3∀→⊂@#⊃Y
@3∩Y @#∩Y @3∀I @#∀I @3∃!
@#
)∧3∞9π#
)∧3 ⊃∧#
!π3 ⊃∧# A 3
!π#
A 3 A #∞9π3
A #
)¬@3 ⊃β# ⊃β3
)β#
)β3∞9¬@#πX⎇@3λ` #⊗Wz3⊗O{#↔↔u@3↔0π@#∃O3⊗x(@# λN3 @'@#λHl@3 &@# ←z3 Hε# H~@3∀λ≠#⊗Wz3⊗hπ@#_λl@3↔_'@#∃O3∃ l@# λN3
pl@# g{@3 ←z# ε3 ∨u@#↔`"@3_x⎇@#λHl@3_λl@#∃O3 λN# ←z3⊗Wz#_x⎇@3πX⎇@#
!⊃@3πX⎇@#⊗⊃'@3
'@#∃y⊃@3⊗⊃'@#
!(@3
'@#∃q(@3
!(@#⊗⊃'@3∃q(@#
'@3
!⊃@#
!⊃@3∃y⊃@#_x⎇@3∃y⊃@# ∨u@3↔↔u@#`Wl@3↔l@#⊃)@#`Q)@#`Wl@#tw}3tw}@#j∂⎇@3j∂⎇#j∂⎇3tw}#k`≠3k(⊃@#s@≠@3sh∩@#jx⊃@3tλ∩@#k` 3jx⊃@#k`≠3s@≠@#h $@3eλ¬#y`π3wλ%@#s@!3s@≠@#y`π3eλ¬#tλ∩@3s@!#eλ¬3eπ⎇#s@!3k` #eπ⎇3yo␈#wλ%@3h $@#k` 3k`≠#yo␈3y`π#tI$@3r)$@#r)$@3r!≥#r)$@3r)$@#r!≥3r)≥#tI$@3tI$@#tI≥3tI$@#r)≥3tI≥#r)$@3r)≥#tI$@3r)$@#vλ⎇3uh⎇#uh⎇3u@{#u@{3u8x@#u8x@3u`v@#u`v@3vv@#vv@3v(x@#v(x@3v0{#v0{3vλ⎇#s⎇3rX⎇#rX⎇3r0{#r0{3r0x@#r0x@3rPv@#rPv@3rxv@#rxv@3s x@#s x@3s {#s {3s⎇#l`⎇3l8⎇#l8⎇3l_{#l_{3l_x@#l_x@3l@v@#l@v@3l`v@#l`v@3mλx@#mλx@3mλ{#mλ{3l`⎇#iP⎇3i(⎇#i(⎇3iλ{#iλ{3i⊂x@#i⊂x@3i8v@#i8v@3iXv@#iXv@3ixx@#ixx@3ix{#ix{3iP⎇#oH|@3o z@#opv3p⊂x#oHv3opv#oxu3opv#o x3oHv#oHu3oHv#o z@3o x#o_x3o x#o_{3o z@#op|@3oH|@#oH}3oH|@#p⊂z@3op|@#op|@3ox}#p⊂x3p⊂z@#p⊂z@3p0{#p⊂x3p0x#ox}3oH}#oH}3o_{#o_{3o_x#o_x3oHu#oHu3oxu#oxu3p0x#p0x3p0{#p0{3ox}#hwt@3hg⎇@#vOt@3v←}@#kH↔3sP↔@#hwt@3vOt@#m→⊃3n1∪#m→⊃3k↓⊃#j→∪3k↓⊃#k9∃3j→∪#mA∃3k9∃#n1∪3mA∃#j→∩3k↓⊂#k↓⊂3m→⊂#m→⊂3n1∩#uAλ@3v9 @#uAλ@3rqλ@#q9 @3rqλ@#rI∞3q9 @#ty∞3rI∞#v9 @3ty∞#q9
3rqπ#rqπ3uAπ#uAπ3v9
#t9⊃3u→∪#t9⊃3r9⊃#q9∪3r9⊃#r!∃3q9∪#t ∃3r!∃#u→∪3t ∃#q9∩3r9⊂#r9⊂3t9⊂#t9⊂3u→∩#l1 3mY @#l1 3j↓ #i→ @3j↓ #jQ∞3i→ @#la∞3jQ∞#mY @3la∞#i!
@3j↓π@#j↓π@3l1π@#l1π@3mY
@#f→α@3gP≡#vWt3vOu@#w∨o@3w7␈#u⊂O3vx%@#jPN@3h@$@#g_o3h_#@#hot3h←⎇@#kH↔3sP↔@#vWt3vg}@#xo3w_$@#u⊂O3u(o#jPN@3j0o#hwu@3hot#h∂⎇@3h'o@#w`≡3xyα@#g_o3xo#u⊂O3jPN@#hot3vWt#xyα@3f→α@#iQ⊗3f→α@#v ⊗3v→)@#iQ⊗3i9)@#iQ⊗3v ⊗#xyα@3v ⊗#h'o@3w∨o@#␈wl@3∨7l@#∨1)@#␈q)@#␈wl@#∃␈}3∃␈}@# ↔⎇@3 ↔⎇# ↔⎇3∃␈}# 8≠3 ⊂⊃@#∀_≠@3∀X∩@# p⊃@3∃∩@# 8 3 p⊃@# 8≠3∀_≠@#λp$@3ε_¬#~xπ3↔X%@#∀_!3∀_≠@#~xπ3ε_¬#∃∩@3∀_!#ε_¬3ε∨⎇#∀_!3 8 #ε∨⎇3≠π␈#↔X%@3λp$@# 8 3 8≠#≠π␈3~xπ#∀q$@3∩Q$@#∩Q$@3∩I≥#∩Q$@3∩Q$@#∩I≥3∩Q≥#∀q$@3∀q$@#∀i≥3∀q$@#∩Q≥3∀i≥#∩Q$@3∩Q≥#∀q$@3∩Q$@#⊗p⎇3⊗P⎇#⊗P⎇3⊗({#⊗({3⊗ x@#⊗ x@3⊗@v@#⊗@v@3⊗hv@#⊗hv@3↔⊂x@#↔⊂x@3↔⊂{#↔⊂{3⊗p⎇#∪`⎇3∪@⎇#∪@⎇3∪_{#∪_{3∪_x@#∪_x@3∪8v@#∪8v@3∪`v@#∪`v@3∀λx@#∀λx@3∀λ{#∀λ{3∪`⎇#
H⎇3
⎇#
⎇3
{#
{3
x@#
x@3
(v@#
(v@3
Hv@#
Hv@3
px@#
px@3
p{#
p{3
H⎇#
8⎇3
⊂⎇#
⊂⎇3 p{# p{3 px@# px@3
_v@#
_v@3
@v@#
@v@3
`x@#
`x@3
`{#
`{3
8⎇#⊂0|@3⊂λz@#⊂Xv3⊂xx#⊂0v3⊂Xv#⊂`u3⊂Xv#⊂λx3⊂0v#⊂0u3⊂0v#⊂λz@3⊂λx#⊂x3⊂λx#⊂{3⊂λz@#⊂X|@3⊂0|@#⊂0}3⊂0|@#⊂xz@3⊂X|@#⊂X|@3⊂`}#⊂xx3⊂xz@#⊂xz@3⊃⊂{#⊂xx3⊃⊂x#⊂`}3⊂0}#⊂0}3⊂{#⊂{3⊂x#⊂x3⊂0u#⊂0u3⊂`u#⊂`u3⊃⊂x#⊃⊂x3⊃⊂{#⊃⊂{3⊂`}# 7t@3 '⎇@#↔∂t@3↔∨}@# (↔3∀0↔@# 7t@3↔∂t@#
Y⊃3∞i∪#
Y⊃3 A⊃#
Q∪3 A⊃# q∃3
Q∪#
q∃3 q∃#∞i∪3
q∃#
Q∩3 A⊂# A⊂3
Y⊂#
Y⊂3∞i∩#⊗!λ@3↔ @#⊗!λ@3∪Iλ@#∩⊃ @3∪Iλ@#∪→∞3∩⊃ @#∃A∞3∪→∞#↔ @3∃A∞#∩⊃
3∪Iπ#∪Iπ3⊗→π#⊗→π3↔
#∀y⊃3∃Q∪#∀y⊃3∩y⊃#⊃i∪3∩y⊃#∩Q∃3⊃i∪#∀A∃3∩Q∃#∃Q∪3∀A∃#⊃i∩3∩y⊂#∩y⊂3∀q⊂#∀q⊂3∃Q∩#
3∞) @#
3
a # q @3
a # →∞3 q @#
)∞3 →∞#∞) @3
)∞# q
@3
aπ@#
aπ@3
π@#
π@3∞)
@#π↓α@3λ_≥#↔↔t3↔∂u@#↔←o@3↔w}@#∃(O3↔8%@#
hN@3 λ$@#πxo3λ`#@# /t3 ∨⎇@# (↔3∀0↔@#↔↔t3↔/}@#_`o3↔h%#∃(O3∃Ho#
hN@3
Po# 7u@3 /t#λO⎇@3λgo@#_0∨@3→aα@#πxo3_`o#∃(O3
hN@# /t3↔↔t#→aα@3π↓α@# q⊗3π↓α@#⊗)⊗3⊗A)@# q⊗3 a)@# q⊗3⊗)⊗#→aα@3⊗)⊗#λgo@3↔←o@#`Wl@3↔l@#⊃)@#`Q)@#`Wl@#k0⊗@3j`
@#sh↔3t_ @#j0
@3t@ @#k(≤3j0
@#k0⊗@3sh↔#gP!@3c←{#z␈⎇@3wP"@#sh≥3sh↔#z␈⎇@3c←{#t@ @3sh≥#c←{3cWr#sh≥3k(≤#cWr3{πt@#wP"@3gP!@#k(≤3k0⊗@#{πt@3z␈⎇@#r1"@3r9)@#r1"@3r9"#ti"3tq)@#r9"3ti"#r9"3r9)@#vQα3v)α#v)α3v␈@#v␈@3ux⎇#ux⎇3v z@#v z@3vHz@#vHz@3vx⎇#vx⎇3vx␈@#vx␈@3vQα#s!α3rqα#rqα3rH␈@#rH␈@3rH⎇#rH⎇3rpz@#rpz@3s_z@#s_z@3s@⎇#s@⎇3sH␈@#sH␈@3s!α#l1α3l α#l α3k`␈@#k`␈@3kh⎇#kh⎇3l⊂z@#l⊂z@3l8z@#l8z@3l`⎇#l`⎇3l`␈@#l`␈@3l1α#i↓α3hYα#hYα3h0␈@#h0␈@3h0⎇#h0⎇3h`z@#h`z@3iλz@#iλz@3i0⎇#i0⎇3i(␈@#i(␈@3i↓α#oA↓@3o_␈#ohz3p⊂|@#o@z3ohz#oxy3ohz#o_|@3o@z#o@y3o@z#o_␈3o_|@#oλ|@3o_|@#oλ␈@3o_␈#oi↓@3oA↓@#oAβ3oA↓@#p⊂␈3oi↓@#oi↓@3oyβ#p⊂|@3p⊂␈#p⊂␈3p0␈@#p⊂|@3p0|@#oyβ3oAβ#oAβ3oλ␈@#oλ␈@3oλ|@#oλ|@3o@y#o@y3oxy#oxy3p0|@#p0|@3p0␈@#p0␈@3oyβ#h/n3h∨r@#w∂n3w↔t#k_∩@3sx∪@#h/n3w∂n#ly⊗@3n!_#ly⊗@3jI⊗@#ia_3jI⊗@#k⊃~3ia_#m!~3k⊃~#n!_3m!~#ia↔3jI∃#jI∃3ly∃#ly∃3n!↔#uy∞@3vy⊃#uy∞@3s ∞@#qI⊃3s ∞@#ra∪@3qI⊃#u)∪@3ra∪@#vy⊃3u)∪@#qI∂@3s @#s @3uy @#uy @3vy∂@#ta⊗@3uI_@#ta⊗@3rQ⊗@#qA_@3rQ⊗@#r1~3qA_@#t)~3r1~#uI_@3t)~#qA↔3rQ∃@#rQ∃@3ta∃@#ta∃@3uI↔#l↓∞@3m9⊃#l↓∞@3i9∞@#hI⊃3i9∞@#j⊃∪@3hI⊃#l9∪@3j⊃∪@#m9⊃3l9∪@#hQ∂@3i9
#i9
3l↓
#l↓
3m9∂@#e→π@3fp~@#w↔m@3w∂o#wwt3wgl@#u0O3w8"@#j(N@3gp!@#f(r@3g@ @#h∨m@3h↔r@#k_∪3sx∪@#w↔m@3w∨t#xXr@3w`!@#u0O3uPr@#j(N@3jr@#h'o3h∨m@#gGr@3gWl@#x0~@3yiπ@#f(r@3xXr@#u0O3j(N@#h∨m@3w↔m@#yiπ@3e→π@#i→~@3e→π@#v1~@3vI)@#i→~@3i )@#i→~@3v1~@#yiπ@3v1~@#␈wl@3∨7l@#∨1)@#␈q)@#␈wl@# _⊗@3 `
@#∀P↔3∃_ @# @
@3∃H @# ⊂≤3 @
@# _⊗@3∀P↔#λ(!@3¬∂{#≤/⎇@3_0"@#∀P≥3∀P↔#≤/⎇@3¬∂{#∃H @3∀P≥#¬∂{3¬∂r#∀P≥3 ⊂≤#¬∂r3≤7t@#_0"@3λ(!@# ⊂≤3 _⊗@#≤7t@3≤/⎇@#∩a"@3∩a)@#∩a"@3∩i"#∃→"3∃→)@#∩i"3∃→"#∩i"3∩i)@#↔Qα3↔!α#↔!α3⊗x␈@#⊗x␈@3⊗p⎇#⊗p⎇3↔_z@#↔_z@3↔@z@#↔@z@3↔p⎇#↔p⎇3↔p␈@#↔p␈@3↔Qα#∀→α3∪qα#∪qα3∪@␈@#∪@␈@3∪@⎇#∪@⎇3∪hz@#∪hz@3∀⊂z@#∀⊂z@3∀8⎇#∀8⎇3∀@␈@#∀@␈@3∀→α#
1α3
α#
α3 `␈@# `␈@3 `⎇# `⎇3
λz@#
λz@3
0z@#
0z@3
X⎇#
X⎇3
X␈@#
X␈@3
1α# yα3 Qα# Qα3 (␈@# (␈@3 0⎇# 0⎇3 Xz@# Xz@3
z@#
z@3
(⎇#
(⎇3
␈@#
␈@3 yα#⊂9↓@3⊂⊂␈#⊂`z3⊃⊂|@#⊂8z3⊂`z#⊂py3⊂`z#⊂⊂|@3⊂8z#⊂8y3⊂8z#⊂⊂␈3⊂⊂|@#⊂|@3⊂⊂|@#⊂␈@3⊂⊂␈#⊂a↓@3⊂9↓@#⊂9β3⊂9↓@#⊃⊂␈3⊂a↓@#⊂a↓@3⊂qβ#⊃⊂|@3⊃⊂␈#⊃⊂␈3⊃(␈@#⊃⊂|@3⊃(|@#⊂qβ3⊂9β#⊂9β3⊂␈@#⊂␈@3⊂|@#⊂|@3⊂8y#⊂8y3⊂py#⊂py3⊃(|@#⊃(|@3⊃(␈@#⊃(␈@3⊂qβ#λwn3λor@#↔Wn3↔gt# λ∩@3∀h∪@#λwn3↔Wn#
I⊗@3∞a_#
I⊗@3 →⊗@#
!_3 →⊗@# I~3
!_#
a~3 I~#∞a_3
a~#
!↔3 →∃# →∃3
I∃#
I∃3∞a↔#⊗i∞@3↔a⊃#⊗i∞@3∪y∞@#∩)⊃3∪y∞@#∪9∪@3∩)⊃#⊗↓∪@3∪9∪@#↔a⊃3⊗↓∪@#∩)∂@3∪y @#∪y @3⊗i @#⊗i @3↔a∂@#∃)⊗@3⊗ _@#∃)⊗@3∪→⊗@#∩↓_@3∪→⊗@#∩q~3∩↓_@#∀i~3∩q~#⊗ _@3∀i~#∩↓↔3∪→∃@#∪→∃@3∃)∃@#∃)∃@3⊗ ↔# q∞@3∞!⊃# q∞@3
)∞@# 1⊃3
)∞@#
i∪@3 1⊃#
⊃∪@3
i∪@#∞!⊃3
⊃∪@# 1∂@3
)
#
)
3 q
# q
3∞!∂@#ε⊃π@3πP→#↔gm@3↔←o#_Gt3_/l@#∃PO3_⊂"@#
HN@3λ@!@#π r@3λ_ @#λom@3λgr@# λ∪3∀h∪@#↔gm@3↔ot#→Pr@3_@!@#∃PO3∃xr@#
HN@3
(r@#λwo3λom@#λ↔r@3λ∨l@#→λ≠@3~aπ@#π r@3→Pr@#∃PO3
HN@#λom@3↔gm@#~aπ@3ε⊃π@# I~@3ε⊃π@#⊗a~@3⊗q)@# I~@3 9)@# I~@3⊗a~@#~aπ@3⊗a~@#`Wl@3↔l@#⊃)@#`Q)@#`Wl@#iXα3txβ#jp⊃3j⊂α#t⊂⊃@3tXβ#jp↔@3iXα#jp⊃3t⊂⊃@#fh≥@3bπn@#|7q3x(∨#t⊂_3t⊂⊃@#|7q3bπn@#txβ3t⊂_#bπn@3bπl@#t⊂_3jp↔@#x(∨3fh≥@#jp↔@3jp⊃#|7q3|7l@#rI(@3rI)@#rI(@3rI(#u⊃(3u⊃)@#rI(3u⊃(#rI(3rI)@#w)λ3vyλ#vyλ3vI¬@#vI¬@3vIα@#vIα@3vq#vq3w!#w!3wQα@#wQα@3wQ¬@#wQ¬@3w)λ#sIλ3s→λ#s→λ3ri¬@#ri¬@3riα@#riα@3s⊃#s⊃3sA#sA3sqα@#sqα@3sq¬@#sq¬@3sIλ#l↓λ3kQλ#kQλ3k)¬@#k)¬@3k)α@#k)α@3kY#kY3l↓#l↓3l1α@#l1α@3l1¬@#l1¬@3l↓λ#h→λ3giλ#giλ3gA¬@#gA¬@3gIα@#gIα@3gy#gy3h)#h)3hQα@#hQα@3hI¬@#hI¬@3h→λ#o1π@3o ∧@#o`␈3p⊃α#o0␈3o`␈#op}3o`␈#o α3o0␈#o8}3o0␈#o ∧@3o α#ny↓@3o α#ny¬@3o ∧@#oaπ@3o1π@#o1 3o1π@#p⊃∧@3oaπ@#oaπ@3oq #p⊃α3p⊃∧@#p⊃∧@3p1¬@#p⊃α3p1↓@#oq 3o1 #o1 3ny¬@#ny¬@3ny↓@#ny↓@3o8}#o8}3op}#op}3p1↓@#p1↓@3p1¬@#p1¬@3oq #lλβ3lα#qPβ3qPβ#m@β3qPβ#m ¬3m β#qPβ3qP¬#sλβ3qxβ#mHβ3mHβ#mHβ3mH¬#qP¬3qPβ#qxβ3qp¬#qp¬3qP¬#m@β3mH¬#mH¬3m ¬#m β3lλβ#sλα@3sλβ#jX
@3t ∞@#lY≤@3n ≡#lY≤@3j⊃≤@#i!≡3j⊃≤@#ja 3i!≡#m 3ja #n ≡3m #i!≥3j⊃≠#j⊃≠3lY≠#lY≠3n ≥#vA∃3wI↔@#vA∃3s1∃#qY↔@3s1∃#s↓~3qY↔@#ua~3s↓~#wI↔@3ua~#qY⊗3s1∪@#s1∪@3vA∪@#vA∪@3wI⊗#u ≤@3uy≡@#u ≤@3ri≤@#qI≡@3ri≤@#rI∨@3qI≡@#tQ∨@3rI∨@#uy≡@3tQ∨@#qI≥3ri≠@#ri≠@3u ≠@#u ≠@3uy≥#kI∃@3m→_#kI∃@3ha∃@#gq_3ha∃@#iQ~3gq_#l⊃~3iQ~#m→_3l⊃~#gq⊗3ha∀#ha∀3kI∀#kI∀3m→⊗#d↓∞3f⊗#uXO@3xλ∨#ixN@3g⊂≥@#e w3fX≤@#jX∞3t ∞@#yHw3x8≥@#uXO@3vw#ixN@3iHw#yλ⊗3zi∞#e w3yHw#uXO@3ixN@#zi∞3d↓∞#ha 3d↓∞#vi 3vq)@#ha 3hY)@#ha 3vi #zi∞3vi #␈wl@3∨7l@#∨1)@#␈q)@#␈wl@# α3⊗(β# h⊃3 (α#∃λ⊃@3∃pβ# h↔@3 α# h⊃3∃λ⊃@#πP≥@3βWn@#≡πq3→_∨#∃⊂_3∃λ⊃@#≡πq3βWn@#⊗(β3∃⊂_#βWn@3βWl@#∃⊂_3 h↔@#→_∨3πP≥@# h↔@3 h⊃#≡πq3≡πl@#∪↓(@3∪↓)@#∪↓(@3∪↓(#∃I(3∃I)@#∪↓(3∃I(#∪↓(3∪↓)@#_9λ3_⊃λ#_⊃λ3↔Y¬@#↔Y¬@3↔Yα@#↔Yα@3_↓#_↓3_1#_13_aα@#_aα@3_a¬@#_a¬@3_9λ#∀Yλ3∀)λ#∀)λ3∪y¬@#∪y¬@3∪yα@#∪yα@3∀!#∀!3∀Q#∀Q3∃↓α@#∃↓α@3∃↓¬@#∃↓¬@3∀Yλ#
⊃λ3 aλ# aλ3 9¬@# 9¬@3 9α@# 9α@3 i# i3
⊃#
⊃3
Aα@#
Aα@3
A¬@#
A¬@3
⊃λ# )λ3 ↓λ# ↓λ3λQ¬@#λQ¬@3λYα@#λYα@3 # 3 9# 93 aα@# aα@3 Y¬@# Y¬@3 )λ#⊂Iπ@3⊂→∧@#⊂p␈3⊃!α#⊂H␈3⊂p␈#⊃}3⊂p␈#⊂→α3⊂H␈#⊂@}3⊂H␈#⊂→∧@3⊂→α#⊂ ↓@3⊂→α#⊂ ¬@3⊂→∧@#⊂yπ@3⊂Iπ@#⊂I 3⊂Iπ@#⊃!∧@3⊂yπ@#⊂yπ@3⊃↓ #⊃!α3⊃!∧@#⊃!∧@3⊃A¬@#⊃!α3⊃9↓@#⊃↓ 3⊂I #⊂I 3⊂ ¬@#⊂ ¬@3⊂ ↓@#⊂ ↓@3⊂@}#⊂@}3⊃}#⊃}3⊃9↓@#⊃9↓@3⊃A¬@#⊃A¬@3⊃↓ # pβ3 hα#∩0β3∩0β#∞(β3∩8β#∪pα@3∪pβ#∞(β3∞(β#∞λ¬3∞λβ#∩8β3∩0¬#∪pβ3∩Xβ#∞(β3∞(¬#∩0¬3∩0β#∩Xβ3∩X¬#∩X¬3∩0¬#∞(β3∞(¬#∞(¬3∞λ¬#∞λβ3 pβ# X∞3∃ ∞@#
1≤@3∞Y≡#
1≤@3
i≤@# q≡3
i≤@# ) 3 q≡#
Q 3 ) #∞Y≡3
Q # q≥3
i≠#
i≠3
1≠#
1≠3∞Y≥#↔I∃3_A↔@#↔I∃3∀1∃#∩Q↔@3∀1∃#∪i~3∩Q↔@#⊗I~3∪i~#_A↔@3⊗I~#∩I⊗3∀1∪@#∀1∪@3↔I∪@#↔I∪@3_A⊗#∃a≤@3⊗I≡@#∃a≤@3∪A≤@#∩→≡@3∪A≤@#∪⊃∨@3∩→≡@#∃→∨@3∪⊃∨@#⊗I≡@3∃→∨@#∩→≥3∪9≠@#∪9≠@3∃a≠@#∃a≠@3⊗I≥# I∃@3∞⊃_# I∃@3 a∃@#λa_3 a∃@#
9~3λa_# y~3
9~#∞⊃_3 y~#λi⊗3 a∀# a∀3 I∀# I∀3∞⊃⊗#¬⊃∞3εp∀@#⊗O@3_p∨#
N@3πp≥@#ε0w3πH≤@# X∞3∃ ∞@#~Xw3→ ≡#⊗O@3⊗0w#
N@3 xw#→x↔@3≠y∞#ε0w3~Xw#⊗O@3
N@#≠y∞3¬⊃∞# ⊃ 3¬⊃∞#↔→ 3↔!)@# ⊃ 3 )@# ⊃ 3↔→ #≠y∞3↔→ #`Wl@3↔l@#⊃)@#`Q)@#`Wl@#j(
@3i'w#t@ @3u'x#hgw3uOx#j ⊃@3hgw#j(
@3t@ @#ep→3a∨l@#y⊂~@3⎇'l@#tH∩@3t@ @#uOx3tH∩@#tH∩@3j ⊃@#y⊂~@3ep→#j ⊃@3j(
@#x⊃∂@3wa∂@#wa∂@3w) #w) 3w) #w) 3wYε#wYε3x ε#x ε3xA #xA 3xA #xA 3x⊃∂@#sy∂@3sA∂@#sA∂@3s⊃ #s⊃ 3s⊃ #s⊃ 3sAε#sAε3sqε#sqε3t! #t! 3t) #t) 3sy∂@#k9∂@3k ∂@#k ∂@3jY #jY 3jY #jY 3k⊃ε#k⊃ε3kAε#kAε3kq #kq 3kq #kq 3k9∂@#g→∂@3fi∂@#fi∂@3f9 #f9 3fA #fA 3fyε#fyε3g)ε#g)ε3gY #gY 3gQ #gQ 3g→∂@#o!∞@3nq @#oY¬@3p λ@#o)¬@3oY¬@#oi∧3oY¬@#nqλ@3o)¬@#o)∧3o)¬@#nq @3nqλ@#naλ3nqλ@#na 3nq @#oY∞@3o!∞@#o)⊂@3o!∞@#p @3oY∞@#oY∞@3oi⊂@#p λ@3p @#p @3p1 #p λ@3p1λ#oi⊂@3o)⊂@#o)⊂@3na #na 3naλ#naλ3o)∧#o)∧3oi∧#oi∧3p1λ#p1λ3p1 #p1 3oi⊂@#q←|@3q←|#m'|3qg|#s7z3s7|#m'|3m/|@#l␈}@3l␈|#qg|3qg}@#s7|3r∂|#kOx3s7x#s7x3s7z#kOz3kOx#m/|@3m'}@#qg}@3q←|@#r∂|3r∂}@#r∂}@3qg}@#m'|3m'}@#m'}@3l␈}@#l␈|3kW|#kW|3kOz#s7z3kOz#j⊂λ3tPλ@#li&@3mq%@#l)$3mq%@#l)$3iI$#hQ%@3iI$#j)&@3hQ%@#li&@3j)&@#hQ$3iI"@#iI"@3l1"@#l1"@3mq$#w!≥@3x1 #w!≥@3sY≥@#qi 3sY≥@#s!!@3qi #v!!@3s!!@#x1 3v!!@#qi≡3sY≠@#sY≠@3w→≠@#w→≠@3x)≡#u↓&@3v9%@#uA$3v9%@#uA$3s↓$#qY%@3s↓$#ra&@3qY%@#u↓&@3ra&@#qY$3s↓"@#s↓"@3uA"@#uA"@3v1$#k ≡3lq #k ≡3gq≡#g↓ 3gq≡#hy!@3g↓ #kY!@3hy!@#lq 3kY!@#g↓≡3gq≤#gq≤3k ≤#k ≤3lq≡#h→&3i9&#vP3xh~@#j⊂λ3tPλ@#bA⊗@3e⊃#iHO3f_→#cx|3eX_#zX|3y →#m1&3r→&#vP3v0|#iHO3iλ|#yx⊃3| ⊗@#cx|3zX|#vP3iHO#| ⊗@3bA⊗@#h→&3bA⊗@#w!&3w))@#h→&3h→)@#uY&3w!&#| ⊗@3w!&#␈wl@3∨7l@#∨1)@#␈q)@#␈wl@# 8
@3
gw#∃X @3⊗←x#
7w3↔∨x# 0⊃@3
7w# 8
@3∃X @#εp→3βπl@#~⊂~@3∨πl@#∃X∩@3∃X @#↔∨x3∃X∩@#∃X∩@3 0⊃@#~⊂~@3εp→# 0⊃@3 8
@#→A∂@3→⊃∂@#→⊃∂@3_Y #_Y 3_Q #_Q 3→↓ε#→↓ε3→1ε#→1ε3→i #→i 3→q #→q 3→A∂@#∃)∂@3∀q∂@#∀q∂@3∀9 #∀9 3∀9 #∀9 3∀iε#∀iε3∃→ε#∃→ε3∃Q #∃Q 3∃Q #∃Q 3∃)∂@# i∂@3 9∂@# 9∂@3 # 3 # 3 9ε# 9ε3 qε# qε3
! #
! 3
! #
! 3 i∂@#λI∂@3λ→∂@#λ→∂@3πi #πi 3πq #πq 3λ)ε#λ)ε3λYε#λYε3 # 3 ↓ # ↓ 3λI∂@#⊂Y∞@3⊂! @#⊃ ¬@3⊃9λ@#⊂Q¬@3⊃ ¬@#⊃→∧3⊃ ¬@#⊂!λ@3⊂Q¬@#⊂Q∧3⊂Q¬@#⊂! @3⊂!λ@#⊂⊃λ3⊂!λ@#⊂⊃ 3⊂! @#⊃ ∞@3⊂Y∞@#⊂Q⊂@3⊂Y∞@#⊃9 @3⊃ ∞@#⊃ ∞@3⊃→⊂@#⊃9λ@3⊃9 @#⊃9 @3⊃Y #⊃9λ@3⊃Yλ#⊃→⊂@3⊂Q⊂@#⊂Q⊂@3⊂⊃ #⊂⊃ 3⊂⊃λ#⊂⊃λ3⊂Q∧#⊂Q∧3⊃→∧#⊃→∧3⊃Yλ#⊃Yλ3⊃Y #⊃Y 3⊃→⊂@#∩W|@3∩←|#∞∨|3∩←|#∞'|3∞'|@#∀7z3∀/|#
w}@3
w|#∩←|3∩←}@#∀/|3∪π|# Ox3∀7x#∀7x3∀7z# Oz3 Ox#∞'|@3∞∨}@#∩←}@3∩W|@#∪π|3∪π}@#∪π}@3∩←}@#∞∨|3∞∨}@#∞∨}@3
w}@#
w|3 W|# W|3 Oz#∀7z3 Oz# (λ3∃hλ@# 1%@3
y&@#∞Q%@3
9&@#
→$3∞Q%@#
→$3
1$# 1%@3
1$#
9&@3
y&@# 1$3
1"@#
1"@3
→"@#
→"@3∞Q$#_9≥@3→9 #_9≥@3∀y≥@#∩y 3∀y≥@#∀→!@3∩y #↔!!@3∀→!@#→9 3↔!!@#∩q≡3∀y≠@#∀y≠@3_9≠@#_9≠@3→9≡#∩9%@3∪1&@#↔⊃%@3∃Q&@#⊗)$3↔⊃%@#⊗)$3∪i$#∩9%@3∪i$#∃Q&@3∪1&@#∩1$3∪i"@#∪i"@3⊗)"@#⊗)"@3↔⊃$# !≡3
y # !≡3 ⊃≡#λ 3 ⊃≡# y!@3λ # Y!@3 y!@#
y 3 Y!@#λ ≡3 ⊃≤# ⊃≤3 !≤# !≤3
y≡#∩q&3∞ &#⊗0P3→`~@# (λ3∃hλ@#βq⊗@3ε∂@# xO3π⊂→#¬ |3ε`_#≤|3~ →@#↔a&3⊗1&#⊗0P3⊗p|# xO3 H|#≠∩@3≥9⊗@#
⊃&3λY&#¬ |3≤|#⊗0P3 xO#≥9⊗@3βq⊗@#λY&3βq⊗@#↔a&3↔a)@#λY&3λQ)@#≥9⊗@3↔a&#`Wl@3↔l@#⊃)@#`Q)@#`Wl@#iHα@3h?l@#uλβ@3u␈l@#i@
@3gwl@#iHα@3uλβ@#dX∪@3`Wl@#zλ∃3⎇ol@#uλ 3uλβ@#uλ 3v/l@#uλ 3i@
@#zλ∃3dX∪@#i@
@3iHα@#y→_@3xa_@#xa_@3x!∃#x!∃3x!⊃@#x!⊃@3xQ∞#xQ∞3y ∞#y ∞3yI⊃@#yI⊃@3yQ∃#yQ∃3y→_@#t1_@3sy_@#sy_@3sA∃#sA∃3sA⊃@#sA⊃@3sq∞#sq∞3t1∞#t1∞3ti⊃@#ti⊃@3ti∃#ti∃3t1_@#ji_@3j)_@#j)_@3iy∃#iy∃3iy⊃@#iy⊃@3j9∞#j9∞3jq∞#jq∞3k)⊃@#k)⊃@3k!∃#k!∃3ji_@#f↓_@3eA_@#eA_@3e⊃∃#e⊃∃3e→⊃@#e→⊃@3eY∞#eY∞3f⊃∞#f⊃∞3fA⊃@#fA⊃@3fA∃#fA∃3f↓_@#o⊃_3nY∀@#oI
@3p ⊃#o⊃
@3oI
@#oa @3oI
@#nY⊃3o⊃
@#o→ @3o⊃
@#nY∀@3nY⊃#nI⊂@3nY⊃#nI∃3nY∀@#oI_3o⊃_#o⊃~3o⊃_#p ∀@3oI_#oI_3oa~#p ⊃3p ∀@#p ∀@3p1∃#p ⊃3p1⊂@#oa~3o⊃~#o⊃~3nI∃#nI∃3nI⊂@#nI⊂@3o→ @#o→ @3oa @#oa @3p1⊂@#p1⊂@3p1∃#p1∃3oa~#qwt3qwt#lwt3qwt#l␈t3l␈t#s←q@3s←t#lOv3lOt#qwt3qwv#s←t3r't#k∂o3s←o#s←o3s←q@#k∂q@3k∂o#l␈t3l␈v#qwv3qwt#r't3r'v#r'v3qwv#lwt3l␈v#l␈v3lOv#lOt3k↔t#k↔t3k∂q@#s←q@3k∂q@#i8@3u⊂↓@#x⊃(3y))@#x⊃(3t⊃(#r↓)@3t⊃(#r↓)@3r↓)@#y))@3y))@#r↓'@3t⊃&#t⊃&3x &#x &3y!'@#l9)@3lA)@#j1(@3l9)@#j1(@3fi(@#eq)@3fi(@#eq)@3eq)@#ey'@3fq&#fq&3j1&#j1&3l9'@#v8P3y`∃#i8@3u⊂↓@#c` 3`Q @#iλO3e⊂∪@#b)α@3d@∩#| α@3z ∪@#v8P3vqα@#iλO3hAα@#{ 3⎇Y!#b)α@3| α@#v8P3iλO#⎇Y!3`Q!#eI)@3`Q!#⎇Y!3yA)@#␈wl@3∨7l@#∨1)@#␈q)@#␈wl@#
xα@3
↔l@#⊗8β@3↔←l@#
p
@3 ←l@#
xα@3⊗8β@#¬p∪@3α?l@#≠(∃3∨7o@#⊗8 3⊗8β@#⊗8 3_∨l@#⊗8 3
p
@#≠(∃3¬p∪@#
p
@3
xα@#~q_@3~9_@#~9_@3→y∃#→y∃3→q⊃@#→q⊃@3~!∞#~!∞3~Y∞#~Y∞3≠→⊃@#≠→⊃@3≠!∃#≠!∃3~q_@#⊗ _@3∃Q_@#∃Q_@3∃⊃∃#∃⊃∃3∃⊃⊃@#∃⊃⊃@3∃A∞#∃A∞3∃y∞#∃y∞3⊗9⊃@#⊗9⊃@3⊗A∃#⊗A∃3⊗ _@# 9_@3 ↓_@# ↓_@3 I∃# I∃3 I⊃@# I⊃@3 ∞# ∞3 A∞# A∞3 y⊃@# y⊃@3 q∃# q∃3 9_@#πQ_@3π→_@#π→_@3εa∃#εa∃3εi⊃@#εi⊃@3π)∞#π)∞3πa∞#πa∞3λ⊃⊃@#λ⊃⊃@3λ⊃∃#λ⊃∃3πQ_@#⊂i_3⊂1∀@#⊃!
@3⊃Y⊃#⊂i
@3⊃!
@#⊃1 @3⊃!
@#⊂1⊃3⊂i
@#⊂a @3⊂i
@#⊂1∀@3⊂1⊃#⊂→⊂@3⊂1⊃#⊂→∃3⊂1∀@#⊃!_3⊂i_#⊂i~3⊂i_#⊃a∀@3⊃!_#⊃!_3⊃1~#⊃Y⊃3⊃a∀@#⊃a∀@3∩↓∃#⊃Y⊃3∩↓⊂@#⊃1~3⊂i~#⊂i~3⊂→∃#⊂→∃3⊂→⊂@#⊂→⊂@3⊂a @#⊂a @3⊃1 @#⊃1 @3∩↓⊂@#∩↓⊂@3∩↓∃#∩↓∃3⊃1~#∪πt3∪πt#∞∂t3∪∂t#∞∂t3∞∂t#∀wq@3∀ot#
←v3
←t#∪∂t3∪πv#∀ot3∪7t# 'o3∀wo#∀wo3∀wq@# 'q@3 'o#∞∂t3∞∂v#∪πv3∪πt#∪7t3∪7v#∪7v3∪πv#∞∂t3∞∂v#∞∂v3
←v#
←t3 't# 't3 'q@#∀wq@3 'q@#
p@3⊗@↓@#~I)@3~I)@#→Q(3~I)@#→Q(3∃Q(#∪))@3∃Q(#∪))@3∪))@#∪)'@3∃Q&#∃Q&3→I&#→I&3~I'@#
a)@3
a)@# i(@3
a)@# i(@3λ)(@#π→)@3λ)(@#π→)@3π→)@#π→'@3λ)&#λ)&3 i&# i&3
a'@#⊗pP3~p∃#
p@3⊗@↓@#α!!3∧x # HO3ε ∪@#βyα@3¬`∩#≥Qα@3≠8∀#∨1!3~I)#⊗pP3↔9α@# HO3 α@#≤ @3∨1!#βyα@3≥Qα@#⊗pP3 HO#∨1!3α!!#α!!3ε9)@#`Wl@3↔l@#⊃)@#`Q)@#`Wl@#hWx@3hπl@#u←y@3v∨l@#hH↓3g7l@#hWx@3u←y@#c
3`Wt#{(∞@3}Gl@#uXα3u←y@#uXα3vWl@#uXα3hH↓#{(∞@3c
#hH↓3hWx@#zQ%3z %#z %3yA!#yA!3y9≤@#y9≤@3yy_@#yy_@3z9_@#z9_@3{↓≤@#{↓≤@3{ !#{ !3zQ%#u %3tA%#tA%3t↓!#t↓!3sy≤@#sy≤@3t9_@#t9_@3ty_@#ty_@3uA≤@#uA≤@3uI!#uI!3u %#iq%3i1%#i1%3hq!#hq!3hy≤@#hy≤@3iA_@#iA_@3j↓_@#j↓_@3jA≤@#jA≤@3j9!#j9!3iq%#d)%3ci%#ci%3c1!#c1!3c9≤@#c9≤@3d↓_@#d↓_@3dI_@#dI_@3e↓≤@#e↓≤@3dy!#dy!3d)%#ny$@3n1 @#oA_3p↓≤#ny_3oA_#oY⊗3oA_#n9≤3ny_#o↓⊗3ny_#n1 @3n9≤#n)≠@3n9≤#n!!3n1 @#o9$@3ny$@#ny&@3ny$@#p↓ @3o9$@#o9$@3oQ&@#p↓≤3p↓ @#p↓ @3p1!#p↓≤3p1≠@#oQ&@3ny&@#ny&@3n!!#n!!3n)≠@#n)≠@3o↓⊗#o↓⊗3oY⊗#oY⊗3p1≠@#p1≠@3p1!#p1!3oQ&@#hOw@3u←x@#vpP@3zp∞#hOw@3u←x@#b_β3`PF@#hHO@3c`
#cλ 3`Pz#⎇i 3{8 @#vpP@3w9 #hHO@3gq #|(β@3␈a)@#⎇i 3`Q #vpP@3hHO@#␈wl@3∨7l@#∨1)@#␈q)@#␈wl@#
/x@3 ol@#≤`∞@3∨7w#↔/y@3_∂l@#
↓3 7l@#
/x@3↔/y@#∧X
3↓gl@#↔0α3↔/y@#↔0α3_←l@#↔0α3
↓#≤`∞@3∧X
#
↓3
/x@#≤Q%3≤⊃%#≤⊃%3≠I!#≠I!3≠A≤@#≠A≤@3≠y_@#≠y_@3≤9_@#≤9_@3≥↓≤@#≥↓≤@3≥⊃!#≥⊃!3≤Q%#↔ %3⊗I%#⊗I%3⊗↓!#⊗↓!3∃y≤@#∃y≤@3⊗9_@#⊗9_@3⊗y_@#⊗y_@3↔A≤@#↔A≤@3↔I!#↔I!3↔ %# y%3 9%# 9%3
y!#
y!3
y≤@#
y≤@3 A_@# A_@3 ↓_@# ↓_@3 A≤@# A≤@3 A!# A!3 y%#ε1%3¬q%#¬q%3¬1!#¬1!3¬9≤@#¬9≤@3ε↓_@#ε↓_@3εA_@#εA_@3π↓≤@#π↓≤@3εy!#εy!3ε1%#⊃↓$@3⊂A @#⊃A_3∩ ≤#⊃↓_3⊃A_#⊃Q⊗3⊃A_#⊂A≤3⊃↓_#⊂y⊗3⊃↓_#⊂A @3⊂A≤#⊂)≠@3⊂A≤#⊂)!3⊂A @#⊃I$@3⊃↓$@#⊃↓&@3⊃↓$@#∩ @3⊃I$@#⊃I$@3⊃Y&@#∩ ≤3∩ @#∩ @3∩1!#∩ ≤3∩)≠@#⊃Y&@3⊃↓&@#⊃↓&@3⊂)!#⊂)!3⊂)≠@#⊂)≠@3⊂y⊗#⊂y⊗3⊃Q⊗#⊃Q⊗3∩)≠@#∩)≠@3∩1!#∩1!3⊃Y&@#
'w@3↔7x@#βP↓@3!)@#↔0P@3≤ ∞# λO@3¬λ
#α⊃ 3∧@ #≤x
3∨0z#
'w@3↔7x@#↔0P@3_ # λO@3λA #≥h¬3∨0F#α⊃ 3∨1 #↔0P@3 λO@#`Wl@3↔l@#⊃)@#`Q)@#`Wl@#|p¬@3␈7l@#g/u3fol@#a0∧3`W|@#vOv3vOl@#vOv3wπl@#vOv3g/u#|p¬@3a0∧#g/u3g?l@#{Y'3{9)@#{Y'3|)'#|)'3|Q)@#u→'3ty)@#u→'3ui'#ui'3v→)@#h!'3gy)@#h!'3hq'#hq'3i→)@#aa'3a9)@#aa'3b1'#b1'3bY)@#o)&@3oa)@#nY&@3o)&@#oI#@3o)&@#nY&@3n1)@#na#@3nY&@#na#@3n↓)@#na#@3oI#@#oI#@3p))@#w0Q3|(¬@#gxP3b∧#a⊂α3`P_#⎇λ∧3⊃⊂#w0Q3x⊃⊗@#gxP3g ⊗@#}∂y@3⊂P@#⊃⊗@3`Q⊗@#w0Q3gxP#␈wl@3∨7l@#∨1)@#␈q)@#␈wl@#≡X¬@3∨7␈@# 7u3 πl@#β⊂∧3wl@#_Wv3_Ol@#_Wv3→∨l@#_Wv3 7u#≡X¬@3β⊂∧# 7u3 ?l@#≡→'3≥y)@#≡→'3≡i'#≡i'3∨⊃)@#↔Y'3↔1)@#↔Y'3_)'#_)'3_Q)@#
a'3
1)@#
a'3 )'# )'3 Q)@#∧!'3βq)@#∧!'3∧q'#∧q'3¬⊃)@#⊃q&@3∩!)@#⊃!&@3⊃q&@#∩↓#@3⊃q&@#⊃!&@3⊂q)@#⊃→#@3⊃!&@#⊃→#@3⊂9)@#⊃→#@3∩↓#@#∩↓#@3∩a)@#_Q3≡¬@#↓␈w@3␈pP@#λHP3βP∧#αxα3␈q⊂@#≡p∧3∨0↔@#_Q3_q⊗@#λHP3πi⊗@#∨1⊗@3␈q⊗@#_Q3λHP#`Wl@3↔l@#⊃)@#`Q)@#`Wl@#␈πz3↔o@#␈πz3`Wx#xQ@3}'z#g_P@3`Pα@#␈∨x3⊂≠#xQ@3xy'#g_P@3f↓'#⊃'3`Q'#xQ@3g_P@#␈wl@3∨7l@#∨1)@#␈q)@#␈wl@#↓∂x3␈wl@#↓∂x3∨7z#_`Q@3∨0∧#λP@3↓gx#ov3␈p≠#_`Q@3→y'#λP@3π↓'#∨1'3␈q'#_`Q@3λP@#`Wl@3↔l@#⊃)@#`Q)@#`Wl@#xXR3↔t@#f(Q3`P∪#f(Q3e↓)@#xXR3f(Q#xXR3yi)@#␈wl@3∨7l@#∨1)@#␈q)@#␈wl@#→PR3∨0∃#π Q3␈wr#π Q3ε⊃)@#→PR3π Q#→PR3~y)@#`Wl@3↔l@#⊃)@#`Q)@#`Wl@#y⊂H@3↔x@#epG3`P∪#epG3dA)@#y⊂H@3epG#y⊂H@3z!)@#␈wl@3∨7l@#∨1)@#␈q)@#␈wl@#εhG3␈wu@#~⊂H@3∨0⊗#εhG3¬Y)@#~⊂H@3εhG#~⊂H@3≠9)@#`Wl@3↔l@#⊃)@#`Q)@#`Wl@#yH63↔m#e(53`Pπ@#e(53cq)@#yH63e(5#yH63zi)@#␈wl@3∨7l@#∨1)@#␈q)@#␈wl@#~X63∨0
@#ε053πl@#ε053¬⊃)@#~X63ε05#~X63≤ )@#`Wl@3↔l@#⊃)@#`Q)@#`Wl@#zλ13↔w#dX/@3`P
@#dX/@3c1)@#zλ13dX/@#zλ13{→)@#␈wl@3∨7l@#∨1)@#␈q)@#␈wl@#≠ 13∨0⊂#¬p/@3␈wt@#¬p/@3∧a)@#≠ 13¬p/@#≠ 13≤I)@#`Wl@3↔l@#⊃)@#`Q)@#`Wl@#zX'@3↔␈@#cx%@3`P⊂@#cx%@3c '#zX'@3cx%@#zX'@3{9'#{9'3c '#c '3b9)@#{9'3|↓)@#␈wl@3∨7l@#∨1)@#␈q)@#␈wl@#¬ %@3␈w⎇#≤'@3∨0∩@#¬ %@3∧A'#≤'@3¬ %@#≤'@3≤q'#≤q'3∧A'#∧A'3βy)@#≤q'3≥A)@#`Wl@3↔l@#⊃)@#`Q)@#`Wl@#{8≤@3⊂β#cλ~@3`P∞@#cλ~@3ba!@#{8≤@3cλ~@#{8≤@3{Y!@#{Y!@3ba!@#ba!@3a))@#{Y!@3|y)@#␈wl@3∨7l@#∨1)@#␈q)@#␈wl@#≤p≤@3∨0⊃#∧@~@3␈p@#∧@~@3∧!!@#≤p≤@3∧@~@#≤p≤@3≥→!@#≥→!@3∧!!@#∧!!@3β↓)@#≥→!@3≡Q)@#`Wl@3↔l@#⊃)@#`Q)@#`Wl@#b
@3`Pλ@#|(∂@3⊂↓#b
@3b1≠#|(∂@3b
@#|(∂@3|↓≠#|↓≠3b1≠#b1≠3`Q'#|↓≠3⎇i)@#␈wl@3∨7l@#∨1)@#␈q)@#␈wl@#≥x∂@3∨0 #βP
@3␈w}@#βP
@3βy≠#≥x∂@3βP
@#≥x∂@3≥I≠#≥I≠3βy≠#βy≠3α⊃)@#≥I≠3∨1'#`Wl@3↔l@#⊃)@#`Q)@#`Wl@#⎇⊂↓@3↔s@#aπ␈3`W⎇@#aπ␈3a1↔#⎇⊂↓@3aπ␈#⎇⊂↓@3|i↔#|i↔3a1↔#a1↔3`Q≠@#|i↔3␈1)@#␈wl@3∨7l@#∨1)@#␈q)@#␈wl@#αg␈3␈wq#≡x↓@3∨7␈@#αg␈3β⊃↔#≡x↓@3αg␈#≡x↓@3≡I↔#≡I↔3β⊃↔#β⊃↔3I)@#≡I↔3∨1≠@#`Wl@3↔l@#⊃)@#`Q)@#`Wl@#}↔{@3↔r@#}↔{@3`Wy@#}↔{@3⎇a≥#⎇a≥3`Q≥#⎇a≥3␈A)@#␈wl@3∨7l@#∨1)@#␈q)@#␈wl@#↓gy@3␈wp#↓gy@3α→≥#↓gy@3∨7{@#α→≥3∨1≥#α→≥39)@#`Wl@3↔l@#⊃)@#`Q)@#`Wl@#␈/u3↔q#␈/u3`Wr@#␈/u3}q$#}q$3`Q$#}q$3␈Q)@#␈wl@3∨7l@#∨1)@#␈q)@#␈wl@#Wr@3␈wn@#Wr@3↓ $#Wr@3∨7u#↓ $3∨1$#↓ $3))@#`Wl@3↔l@#⊃)@#`Q)@#`Wl@#v/l@3↔m#␈wl@3∨7l@#∨1)@#␈q)@#␈wl@#_gl@3∨7m#`Wl@3↔l@#⊃)@#`Q)@#`Wl@#␈wl@3∨7l@#∨1)@#␈q)@#␈wl@#